Bug#668398: RFS: cvc3/2.4.1-3

[Christopher L Conway <christopherleeconway@gmail.com>]

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 <cconway@cs.nyu.edu>  Wed, 11 Apr 2012 10:02:19 -0400

Regards,
Chris