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, <jaa...@ro.ru> 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. > > >