-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 8 Apr 2008 19:40:46 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200804a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk> Changed-By: Peter Collingbourne <pcc03@doc.ic.ac.uk> Description: prover9-doc - documentation for Prover9 and associated programs Changes: prover9-manual (0.0.200804a-1) unstable; urgency=low . * New upstream release. * debian/watch: added support for new version numbering scheme Files: e6db3157da26c495657299fb8ce4ad8d 760 doc optional prover9-manual_0.0.200804a-1.dsc f17987578aa6eda72a2d80eba2dee406 870773 doc optional prover9-manual_0.0.200804a.orig.tar.gz 1a067e7ca100adc74b030e0eb79787e9 3821 doc optional prover9-manual_0.0.200804a-1.diff.gz 9904db7c3c6d3257c69b2466d25daf6d 798264 doc optional prover9-doc_0.0.200804a-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH/SMTBnqtBMk7/3kRAtOkAJ9rmUovyb+m43T8MU5/8tyoY7QGOACfXrS8 f+oROL89ExI1VWrqOwCqvpU= =DMhs -----END PGP SIGNATURE----- Accepted: prover9-doc_0.0.200804a-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200804a-1_all.deb prover9-manual_0.0.200804a-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200804a-1.diff.gz prover9-manual_0.0.200804a-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200804a-1.dsc prover9-manual_0.0.200804a.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200804a.orig.tar.gz
