Accepted prover9-manual 0.0.200805a-1 (source all)
-----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