Re: RFS: cvc3
Michael,
I still need a sponsor AFAIK. Thanks for your help.
On Thu, Dec 10, 2009 at 2:33 AM, Michael Tautschnig <mt@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 <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)
>>
>> 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
Reply to:
- References:
- RFS: cvc3
- From: Christopher L Conway <cconway@cs.nyu.edu>
- Re: RFS: cvc3
- From: Daniel Moerner <dem02009@mymail.pomona.edu>
- Re: RFS: cvc3
- From: Michael Tautschnig <mt@debian.org>