On Wed, Aug 15, 2007 at 12:57:43AM +0100, Peter Collingbourne wrote: > Dear mentors, > > I am looking for a sponsor for my packages "ladr" and "prover9-manual" ... > dget http://www.doc.ic.ac.uk/~pcc03/tmp/debian/ladr_0.0.200708-1.dsc > dget http://www.doc.ic.ac.uk/~pcc03/tmp/debian/prover9-manual_0.0.200708-1.dsc Any takers for this? This is a successor to the "otter" theorem prover, which is also in the archive, so I think it would be worthwhile to have this in as well. I forgot to mention the ITP bugs this would close: #437936, #437944 Thanks, -- Peter
Attachment:
pgpO40LFj7xUB.pgp
Description: PGP signature