Bug#660244: Please update CVC3 to an upstream version.

I've prepared a new package for v2.4.1. Let me know if you are able to
sponsor it.

-Chris

On Fri, Feb 17, 2012 at 11:31 AM, wrote:

Package: cvc3
Version: 2.2-13.1
Severity: wishlist

It would be nice if you could update to the latest upstream version (27
January 2012 or later). The current one does not understand SMTLIB 2.0.

Jaakov.

I&#39;ve prepared a new package for v2.4.1. Let me know if you are able to sponsor it.<div><br></div><div>-Chris<br><br><div class="gmail_quote">On Fri, Feb 17, 2012 at 11:31 AM, <span dir="ltr">&lt;<a href="mailto:"></a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Package: cvc3<br>
Version: 2.2-13.1<br>
Severity: wishlist<br>
<br>
It would be nice if you could update to the latest upstream version (27 January 2012 or later). The current one does not understand SMTLIB 2.0.<br>
<br>
Jaakov.<br>
<br>
<br>
</blockquote></div><br></div>




To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact

How much?



To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact

On Sun, Feb 26, 2012 at 6:23 AM, wrote:

How much?

I meant "sponsor" as in initiate an upload of the package to the unstable
repository. It's free, if you happen to be a Debian Developer (
http://wiki.debian.org/DebianMentor...d_Packages). :-)

I haven't been in touch with my previous sponsor lately. I may have to
trawl the Debian mailing lists for one.

-Chris


On Sun, Feb 26, 2012 at 6:23 AM, <span dir="ltr">&lt;<a href="mailto:"></a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
How much?<br></blockquote><div><br></div>I meant &quot;sponsor&quot; as in initiate an upload of the package to the unstable repository. It&#39;s free, if you happen to be a Debian Developer (<a href="http://wiki.debian.org/DebianMentor...t;>http://wiki.debian.org/DebianMentorsFaq#Sponsored_Packages</a>). :-)<div>
<br></div><div>I haven&#39;t been in touch with my previous sponsor lately. I may have to trawl the Debian mailing lists for one.</div><div><br></div><div>-Chris<br><br></div>




To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact

I see. I'm neither a registered debian developer nor knowing enough
about to be one.



To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact

Thank you!

Jaakov.



To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact