-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 13 Feb 2007 13:23:18 +0000 Source: coq-doc Binary: coq-doc-pdf coq-doc-html coq-doc Architecture: source all Version: 8.1-1 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 Changes: coq-doc (8.1-1) experimental; urgency=low . * New upstream release. * Allow building with texlive in build-dependencies. Files: 58938072768cd2b47d4ed25f07aeca52 736 non-free/doc optional coq-doc_8.1-1.dsc 795f1276134a97ff6b44f23a187aa2f5 505367 non-free/doc optional coq-doc_8.1.orig.tar.gz e4f659a8bc1c73aff9b819d99e720c0e 7681 non-free/doc optional coq-doc_8.1-1.diff.gz 09167d4912d98a4b4c83a4c7304ebc9c 5416 non-free/doc optional coq-doc_8.1-1_all.deb ef0c4969f85be92f6a05987cac6adacc 437766 non-free/doc optional coq-doc-html_8.1-1_all.deb fbf4476813a33afbde59854115b7cb93 1722664 non-free/doc optional coq-doc-pdf_8.1-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFF0fiMIae1O4AJae8RApZ/AJ9cowRKBh7ch2NmPttMQFo3NTSPVQCgh4qI a/BLtgEbWUdS7lqwnk9NqKI= =GvFE -----END PGP SIGNATURE----- Accepted: coq-doc-html_8.1-1_all.deb to pool/non-free/c/coq-doc/coq-doc-html_8.1-1_all.deb coq-doc-pdf_8.1-1_all.deb to pool/non-free/c/coq-doc/coq-doc-pdf_8.1-1_all.deb coq-doc_8.1-1.diff.gz to pool/non-free/c/coq-doc/coq-doc_8.1-1.diff.gz coq-doc_8.1-1.dsc to pool/non-free/c/coq-doc/coq-doc_8.1-1.dsc coq-doc_8.1-1_all.deb to pool/non-free/c/coq-doc/coq-doc_8.1-1_all.deb coq-doc_8.1.orig.tar.gz to pool/non-free/c/coq-doc/coq-doc_8.1.orig.tar.gz