Accepted prover9-manual 0.0.200712-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 14 Jan 2008 20:24:28 +0000
Source: prover9-manual
Binary: prover9-doc
Architecture: source all
Version: 0.0.200712-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
Closes: 437944
Changes:
prover9-manual (0.0.200712-1) unstable; urgency=low
.
* Initial release (Closes: #437944)
* syntax.html: replaced literal < and > symbols with entities in order to
prevent htmldoc from failing
Files:
d274f392d2b00df8850420115f2ae2ad 757 doc optional prover9-manual_0.0.200712-1.dsc
452b4888813eca1e6219d8af142c94a2 871950 doc optional prover9-manual_0.0.200712.orig.tar.gz
a6b1f92c48e7d5948a849c40311fa732 3611 doc optional prover9-manual_0.0.200712-1.diff.gz
31ae6471f25287f022296bc616688ad2 804754 doc optional prover9-doc_0.0.200712-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHp402BnqtBMk7/3kRAsyvAJ9fBSBizxFAU/zm2CIppJ1t8FXRYQCggH8V
EZzodvCKl9Ku2b8EfIeUjg0=
=WLIC
-----END PGP SIGNATURE-----
Accepted:
prover9-doc_0.0.200712-1_all.deb
to pool/main/p/prover9-manual/prover9-doc_0.0.200712-1_all.deb
prover9-manual_0.0.200712-1.diff.gz
to pool/main/p/prover9-manual/prover9-manual_0.0.200712-1.diff.gz
prover9-manual_0.0.200712-1.dsc
to pool/main/p/prover9-manual/prover9-manual_0.0.200712-1.dsc
prover9-manual_0.0.200712.orig.tar.gz
to pool/main/p/prover9-manual/prover9-manual_0.0.200712.orig.tar.gz