RFS: cvc3

[Christopher L Conway <cconway@cs.nyu.edu>]

Dear mentors,

I am looking for a sponsor for my package "cvc3". Please CC: me in any reply.

* Package name    : cvc3
  Version         : 2.2-1
  Upstream Author : Clark Barrett <barrett@cs.nyu.edu>, Cesare Tinelli
<tinelli@cs.uiowa.edu>
* URL             : http://www.cs.nyu.edu/acsys/cvc3/
* License         : BSD
  Section         : math

It builds these binary packages:
cvc3       - An automatic theorem prover for SMT problems
libcvc3-2  - An automatic theorem prover library for SMT problems
libcvc3-2-dev - An automatic theorem prover library for SMT problems
(development
libcvc3-2-java - Java bindings for CVC3 (bytecode library)
libcvc3-2-jni - Java bindings for CVC3 (native library)

The package appears to be lintian clean.

The upload would fix these bugs: 559245

My motivation for maintaining this package is: I am an upstream developer.

The package can be found on mentors.debian.net:
- URL: http://mentors.debian.net/debian/pool/main/c/cvc3
- Source repository: deb-src http://mentors.debian.net/debian unstable
main contrib non-free
- dget http://mentors.debian.net/debian/pool/main/c/cvc3/cvc3_2.2-1.dsc

I would be glad if someone uploaded this package for me.

Kind regards
 Christopher Conway