RFS: ladr and prover9-manual

[Peter Collingbourne <pcc03@doc.ic.ac.uk>]

Dear mentors,

I am looking for a sponsor for my packages "ladr" and "prover9-manual"
(I am packaging the documentation separately because upstream distributes
it in a separate tarball).

* Package name    : ladr, prover9-manual
  Version         : 0.0.200708
  Upstream Author : William McCune <mccune@cs.unm.edu>
* URL             : http://www.cs.unm.edu/~mccune/mace4/
* License         : GPL
  Section         : math

They build these binary packages:

For ladr:
libladr-dev - the LADR deduction library, development files
libladr4 - the LADR deduction library
prover9 - resolution/paramodulation theorem prover
mace4 - countermodel generator
ladr4-apps - the LADR deduction library, miscellaneous applications

For prover9-manual:
prover9-doc - documentation for Prover9 and associated programs

The packages are lintian/linda clean.

The packages are found at:

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

Thanks,
-- 
Peter

Attachment: pgpljD_fvmVMy.pgp
Description: PGP signature