Accepted prover9-manual 0.0.200712-2 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 20 Mar 2008 20:37:05 +0000
Source: prover9-manual
Binary: prover9-doc
Architecture: source all
Version: 0.0.200712-2
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
Closes: 471753
Changes:
prover9-manual (0.0.200712-2) unstable; urgency=low
.
* debian/rules: removed bashism (closes: #471753)
* debian/doc-base: changed Section to a valid value
Files:
60e2a6ee5422a60d77f4c79511bf8b3d 757 doc optional prover9-manual_0.0.200712-2.dsc
e7bad060b3062c0a39c39fe683392954 3705 doc optional prover9-manual_0.0.200712-2.diff.gz
6f0f04950262458b9d9c2623b37e81a3 795128 doc optional prover9-doc_0.0.200712-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFH4tYtBnqtBMk7/3kRAuPZAJoDdceYNFXzJhavCTRq0D3Dv9DtHACeOMDx
+D+al2j91QuTTXuf2GiR1qY=
=c1rI
-----END PGP SIGNATURE-----
Accepted:
prover9-doc_0.0.200712-2_all.deb
to pool/main/p/prover9-manual/prover9-doc_0.0.200712-2_all.deb
prover9-manual_0.0.200712-2.diff.gz
to pool/main/p/prover9-manual/prover9-manual_0.0.200712-2.diff.gz
prover9-manual_0.0.200712-2.dsc
to pool/main/p/prover9-manual/prover9-manual_0.0.200712-2.dsc