On 12/09/2009 11:33 PM, Michael Tautschnig 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. >> > > I'm not quite sure whether you still need someone to sponsor this. If you do > so, > I'd be interested to help out as I sometimes use CVC3 myself.
Sorry to be a bit unclear, I'm not a Debian Developer yet so I'm sure Christopher would appreciate this offer. Daniel
signature.asc
Description: OpenPGP digital signature
