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 <barr...@cs.nyu.edu>, Cesare Tinelli <tine...@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 -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
