Back to prover9-manual PTS page

Accepted prover9-manual 0.0.200806a-1 (source all)



-----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