[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#661570: RFS: cvc3/2.4.1-1

Package: sponsorship-requests
Severity: normal

Dear mentors,

I am looking for a sponsor for my package "cvc3". This is an existing package that has been updated for a new upstream version. I haven't been able to get in touch with my previous sponsor.

Please CC: me in any reply.

Package name : cvc3
Version : 2.4.1-1
Upstream Author : Clark Barrett
URL : http://www.cs.nyu.edu/acsys/cvc3/
License : BSD
Section : math

It builds those binary packages:

cvc3 - Automatic theorem prover for SMT problems
cvc3-el - Emacs mode for CVC3
libcvc3-5 - Automatic theorem prover library for SMT problems
libcvc3-5-dev - Automatic theorem prover library for SMT problems (development files)
libcvc3-5-java - Java bindings for CVC3 (bytecode library)
libcvc3-5-jni - Java bindings for CVC3 (native library)

To access further information about this package, please visit the following URL:


Alternatively, one can download the package with dget using this command:

dget -x http://mentors.debian.net/debian/pool/main/c/cvc3/cvc3_2.4.1-1.dsc

Changes since the last upload:

cvc3 (2.4.1-1) unstable; urgency=low

  * New upstream release (Closes: #660244)
  * Updating to standards version 3.9.2
  * Switching to dpkg-source 3.0 (quilt) format
  * Changing default-jdk-builddep build dependency to default-jdk
  * Re-enabling libcvc3-jni on kfreebsd-amd64 (Closes: #576335)

 -- Christopher L. Conway <cconway@cs.nyu.edu>  Sat, 25 Feb 2012 13:54:15 -


Reply to: