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

[jaakov]

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-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org