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:
http://mentors.debian.net/package/cvc3 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)
Regards,
Chris