-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 29 Jun 2008 04:57:20 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200806a-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.200806a-1) unstable; urgency=low . * New upstream release. * debian/control: new Standards-Version Checksums-Sha1: 3a8511beaf237eba9cf1166ab438be01c0e806c7 1211 prover9-manual_0.0.200806a-1.dsc d681ac467469fe63eca2856be73bd7fb1418f0ef 879029 prover9-manual_0.0.200806a.orig.tar.gz ae033b0b1dad1dd6cca876153d679494cfa9842a 3903 prover9-manual_0.0.200806a-1.diff.gz 2d1b354dc4472b91a592b0200493f8b4286c1854 795508 prover9-doc_0.0.200806a-1_all.deb Checksums-Sha256: fa3e2488e9f6e6926cb80a565972b87df775e6d1310477b244a2d551420dc1c5 1211 prover9-manual_0.0.200806a-1.dsc 348b6bdbc6fb723c3f07e281002fde31a87affed62d678bd9cba04fd15ace093 879029 prover9-manual_0.0.200806a.orig.tar.gz 0e499c9ed918711b032279c21c790233cb8f95f9b7581a27ab336a43603ba53f 3903 prover9-manual_0.0.200806a-1.diff.gz 02776634bbd8afb82a85734ae2a83f41250601c94b72b92cb4940838c967cdad 795508 prover9-doc_0.0.200806a-1_all.deb Files: 85084899c8919e252606895978817087 1211 doc optional prover9-manual_0.0.200806a-1.dsc 3e105036faadc5ed90130021c81ce437 879029 doc optional prover9-manual_0.0.200806a.orig.tar.gz 1a4f07396735bba43739ce917b5bd2a7 3903 doc optional prover9-manual_0.0.200806a-1.diff.gz 922dcb51a35df354381c25af026b3cd0 795508 doc optional prover9-doc_0.0.200806a-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIaAbLXDqn6DSH7HERAgX1AKDJFhoLCXRgM0vd/tVSf47PYWYV9wCfc4y9 rs3XHl8u4O+2Y2DJxpOnkq0= =mH1q -----END PGP SIGNATURE----- Accepted: prover9-doc_0.0.200806a-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200806a-1_all.deb prover9-manual_0.0.200806a-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200806a-1.diff.gz prover9-manual_0.0.200806a-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200806a-1.dsc prover9-manual_0.0.200806a.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200806a.orig.tar.gz
