Michael, I still need a sponsor AFAIK. Thanks for your help.
On Thu, Dec 10, 2009 at 2:33 AM, Michael Tautschnig <m...@debian.org> wrote: > Daniel, Christopher, > >> Hi, >> >> Very interesting package; I was considering packaging it myself over the >> holiday season but it looks like you beat me to it! >> >> On 12/09/2009 11:57 AM, Christopher L Conway wrote: >> > 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) >> >> Is there any reason you aren't building a cvc3-el package containing >> emacs/cvc3-mode.el? If you want examples of how to simply do this you >> can check out cmuscheme48-el or prolog-el. This hadn't occurred to me, as I don't actually use cvc3-mode. I'll look into it. If I modify the package and reupload, should I bump the version to 2.2-2, or leave it at 2.2-1? Thanks, Chris -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
