Back to prover9-manual PTS page

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