-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 12 May 2008 19:34:36 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200805a-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.200805a-1) unstable; urgency=low . * New upstream release. * debian/control: added DM-Upload-Allowed: yes Checksums-Sha1: ba5583feddcaf69cd091c0c027e55aa8572da5d3 1211 prover9-manual_0.0.200805a-1.dsc 325aea49ee9b12e5e6deb4bcf1403b397decac3b 866237 prover9-manual_0.0.200805a.orig.tar.gz ee09d732ce07750559fcd746d2b0deae9b5546fc 3866 prover9-manual_0.0.200805a-1.diff.gz 7f150237e1d77f9a64673e837c7eeba969c225e5 796366 prover9-doc_0.0.200805a-1_all.deb Checksums-Sha256: 556101d8c1ff9cb557ad1ec88e90c95fd015f7617c6314ce44402bc64b82a5e6 1211 prover9-manual_0.0.200805a-1.dsc 0028d9ea84f61b2ecda3389b082bdd78c351c0bdf81e6fbe642038c8bf88b613 866237 prover9-manual_0.0.200805a.orig.tar.gz 552f17793cc655414e71a57f353326ff545cf7c43386185757a68cb8c139050a 3866 prover9-manual_0.0.200805a-1.diff.gz ae21c20eb50db7fae3cbaeb2a5914a49d59093c2acadb3a867d6dbbafbc78abe 796366 prover9-doc_0.0.200805a-1_all.deb Files: bead8c6672e3531876b23288d769988f 1211 doc optional prover9-manual_0.0.200805a-1.dsc a544ecd335070e5ef24c84f7eef936f7 866237 doc optional prover9-manual_0.0.200805a.orig.tar.gz a25a7033bb24f82ebf773d0b3a7a37cf 3866 doc optional prover9-manual_0.0.200805a-1.diff.gz c557958b716e6fcb362e01a29c4f46da 796366 doc optional prover9-doc_0.0.200805a-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIPb/ZBnqtBMk7/3kRAszjAJ9SIWEC8fwcqsFezwYZd0J7PXAfZwCeLGkh Q5UtWiNn9Q3k2cc0lIshBuk= =0aHl -----END PGP SIGNATURE----- Accepted: prover9-doc_0.0.200805a-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200805a-1_all.deb prover9-manual_0.0.200805a-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200805a-1.diff.gz prover9-manual_0.0.200805a-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200805a-1.dsc prover9-manual_0.0.200805a.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200805a.orig.tar.gz
