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 <[email protected]>, Cesare Tinelli <[email protected]> * 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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
