Package: sponsorship-requests Severity: normal Dear mentors,
I am looking for a sponsor for the latest version of my package "cvc3". The version fixes bugs that are keeping the previous package version out of testing. Package name : cvc3 Version : 2.4.1-3 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-3.dsc Changes since the last upload: cvc3 (2.4.1-3) unstable; urgency=low * Creating new package libcvc3-dev to replace libcvc3-5-dev and libcvc3-2-dev (Closes: #662198) * Adding Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni (Closes: #662200) * Leaving .el files in site-lisp directory when installing cvc3-el (Closes: #665319) -- Christopher L. Conway <ccon...@cs.nyu.edu> Wed, 11 Apr 2012 10:02:19 -0400 Regards, Chris -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/caftuyskpvnoxe2_ytt3mm2p5vfff-wre+tmp662smfax7ke...@mail.gmail.com
