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
Reply to: