-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 20 Mar 2008 20:37:05 +0000 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200712-2 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 Closes: 471753 Changes: prover9-manual (0.0.200712-2) unstable; urgency=low . * debian/rules: removed bashism (closes: #471753) * debian/doc-base: changed Section to a valid value Files: 60e2a6ee5422a60d77f4c79511bf8b3d 757 doc optional prover9-manual_0.0.200712-2.dsc e7bad060b3062c0a39c39fe683392954 3705 doc optional prover9-manual_0.0.200712-2.diff.gz 6f0f04950262458b9d9c2623b37e81a3 795128 doc optional prover9-doc_0.0.200712-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH4tYtBnqtBMk7/3kRAuPZAJoDdceYNFXzJhavCTRq0D3Dv9DtHACeOMDx +D+al2j91QuTTXuf2GiR1qY= =c1rI -----END PGP SIGNATURE----- Accepted: prover9-doc_0.0.200712-2_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200712-2_all.deb prover9-manual_0.0.200712-2.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200712-2.diff.gz prover9-manual_0.0.200712-2.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200712-2.dsc
