-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 16 Jan 2007 17:40:02 +0000 Source: coq-doc Binary: coq-doc-pdf coq-doc-html coq-doc Architecture: source all Version: 8.1~gamma-2 Distribution: experimental Urgency: low Maintainer: Samuel Mimram <smimram@debian.org> Changed-By: Samuel Mimram <smimram@debian.org> Description: coq-doc - documentation for Coq in html format coq-doc-html - documentation for Coq in html format coq-doc-pdf - documentation for Coq in pdf format Closes: 407117 Changes: coq-doc (8.1~gamma-2) experimental; urgency=low . * Correctly install html documentation, closes: #407117. Files: 6cd2e5faa5659ab9d05ccb19a42270ba 750 non-free/doc optional coq-doc_8.1~gamma-2.dsc c6180531fde254399043140e0e7420cd 7643 non-free/doc optional coq-doc_8.1~gamma-2.diff.gz 2302234d73f718fda161e1e1aa284f63 5374 non-free/doc optional coq-doc_8.1~gamma-2_all.deb 5bf403d224196da124dfa8d341ae15be 431540 non-free/doc optional coq-doc-html_8.1~gamma-2_all.deb a7f5f8f6356c9cc47dc85c5d414ba03e 1724242 non-free/doc optional coq-doc-pdf_8.1~gamma-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFFrQ98Iae1O4AJae8RAlT/AJ9N/mjv30/7Rzz9yTVJGNDsOJDaOwCdFerI Z8xtbY4ZUQFxKzlsbXgq1Mg= =tWu6 -----END PGP SIGNATURE----- Accepted: coq-doc-html_8.1~gamma-2_all.deb to pool/non-free/c/coq-doc/coq-doc-html_8.1~gamma-2_all.deb coq-doc-pdf_8.1~gamma-2_all.deb to pool/non-free/c/coq-doc/coq-doc-pdf_8.1~gamma-2_all.deb coq-doc_8.1~gamma-2.diff.gz to pool/non-free/c/coq-doc/coq-doc_8.1~gamma-2.diff.gz coq-doc_8.1~gamma-2.dsc to pool/non-free/c/coq-doc/coq-doc_8.1~gamma-2.dsc coq-doc_8.1~gamma-2_all.deb to pool/non-free/c/coq-doc/coq-doc_8.1~gamma-2_all.deb