Bug#685077: RFS: cvc3/2.4.1-4 [RC]
Package: sponsorship-requests
Severity: normal
Dear mentors,
I am looking for a sponsor for the latest version of my package
"cvc3". The version fixes release-critical bugs in cvc3-el.
Package name : cvc3
Version : 2.4.1-4
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-java - Java bindings for CVC3 (bytecode library)
libcvc3-5-jni - Java bindings for CVC3 (native library)
libcvc3-dev - Automatic theorem prover library for SMT problems
(development files)
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-4.dsc
Changes since the last upload:
cvc3 (2.4.1-4) unstable; urgency=low
* Transfer package repo to Git.
* Fix syntax errors in debian/copyright.
* Keep 50cvc3-el.el after remove. (Closes: #684351)
* Use ln -sf when linking cvc3-el emacsen files. (Closes: #684026)
* Remove build dep on gcj-native-helper. (Closes: #678183)
Regards,
Chris
Reply to: