-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 10 May 2006 16:39:24 +0000 Source: coq-doc Binary: coq-doc-pdf coq-doc-html coq-doc Architecture: source all Version: 8.0pl3+8.1alpha-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: 366611 Changes: coq-doc (8.0pl3+8.1alpha-2) experimental; urgency=low . * Correct a typo in coq-rectutorial's doc-base (thanks Remi Vanicat), closes: #366611. * Updated standards version to 3.7.2, no changes needed. Files: 4284bb85cd17d07b7ee8bc74edb47f9c 689 non-free/doc optional coq-doc_8.0pl3+8.1alpha-2.dsc a2f1cab4a03f118a3944ce52b24ffd82 7111 non-free/doc optional coq-doc_8.0pl3+8.1alpha-2.diff.gz d99287f700ef382da7591dd04f05f6c0 5222 non-free/doc optional coq-doc_8.0pl3+8.1alpha-2_all.deb 8a57cdca651cd498a8ff5fee29f31919 340628 non-free/doc optional coq-doc-html_8.0pl3+8.1alpha-2_all.deb f49cb283ea5d7d76073a181eddb01957 1629422 non-free/doc optional coq-doc-pdf_8.0pl3+8.1alpha-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFEYhg7Iae1O4AJae8RAgJhAJ9M3JW0ADcCEUpHgVVzsgWqKP7QCgCeJRLu yO0HIo+En1aADI/vqGjeru8= =K9zF -----END PGP SIGNATURE----- Accepted: coq-doc-html_8.0pl3+8.1alpha-2_all.deb to pool/non-free/c/coq-doc/coq-doc-html_8.0pl3+8.1alpha-2_all.deb coq-doc-pdf_8.0pl3+8.1alpha-2_all.deb to pool/non-free/c/coq-doc/coq-doc-pdf_8.0pl3+8.1alpha-2_all.deb coq-doc_8.0pl3+8.1alpha-2.diff.gz to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha-2.diff.gz coq-doc_8.0pl3+8.1alpha-2.dsc to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha-2.dsc coq-doc_8.0pl3+8.1alpha-2_all.deb to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha-2_all.deb