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: 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) -- Christopher L. Conway <[email protected]> Sat, 25 Feb 2012 13:54:15 - Regards, Chris
