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