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

February 17th, 2012 - 12:10 pm ET by Anonym | Report spam
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.



To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
email Follow the discussionReplies 5 repliesReplies Make a reply

Similar topics

Replies

#1 Christopher L Conway
February 25th, 2012 - 10:30 pm ET | Report spam

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
Replies Reply to this message
#2 Anonym
February 26th, 2012 - 06:30 am ET | Report spam
How much?



To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact
Replies Reply to this message
#3 Christopher L Conway
February 26th, 2012 - 05:10 pm ET | Report spam

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
Replies Reply to this message
#4 Anonym
February 26th, 2012 - 06:30 pm ET | Report spam
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
Replies Reply to this message
#5 Anonym
March 04th, 2012 - 01:10 pm ET | Report spam
Thank you!

Jaakov.



To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact
email Follow the discussion Replies Reply to this message
Help Create a new topicReplies Make a reply
Search Make your own search