Bug#668398: RFS: cvc3/2.4.1-3

2012-04-11 Thread Christopher L Conway
* Adding Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni (Closes: #662200) * Leaving .el files in site-lisp directory when installing cvc3-el (Closes: #665319) -- Christopher L. Conway Wed, 11 Apr 2012 10:02:19 -0400 Regards, Chris -- To UNSUBSCRIBE, email to debian-me

Bug#661570: RFS: cvc3/2.4.1-1

2012-02-27 Thread Christopher L Conway
Closes: #660244) * Updating to standards version 3.9.2 * Switching to dpkg-source 3.0 (quilt) format * Changing default-jdk-builddep build dependency to default-jdk * Re-enabling libcvc3-jni on kfreebsd-amd64 (Closes: #576335) -- Christopher L. Conway Sat, 25 Feb 2012 13:54:15 - Regards, Chris

Re: RFS: cvc3

2009-12-10 Thread Christopher L Conway
ke 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    : cv

RFS: cvc3

2009-12-09 Thread Christopher L Conway
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 , Cesare Tinelli * URL : http://www.cs.nyu.edu/acsys/cvc3/ * License : BSD Section : math