-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 7 Jan 2007 20:18:31 +0100 Source: coq-doc Binary: coq-doc-pdf coq-doc-html coq-doc Architecture: source all Version: 8.1~gamma-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~gamma-1) experimental; urgency=low . * New upstream release. * Added faq-urldef.dpatch to workaround hevea bug #405994. Files: 019a9cc0e3beaf96967637e3c6339c27 750 non-free/doc optional coq-doc_8.1~gamma-1.dsc 31cc4addc2b8b454e80baa8d386df404 511805 non-free/doc optional coq-doc_8.1~gamma.orig.tar.gz ee796e7c2e346f905438216b74db2021 7600 non-free/doc optional coq-doc_8.1~gamma-1.diff.gz a2d66e0f3d3afff05aff2cb258a2fa5c 5332 non-free/doc optional coq-doc_8.1~gamma-1_all.deb ea913b12e7d6fea257fdd24c0a27352b 371954 non-free/doc optional coq-doc-html_8.1~gamma-1_all.deb e2e7d0789c0f1f212c7c55a540e681fd 1723914 non-free/doc optional coq-doc-pdf_8.1~gamma-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFFoVWyIae1O4AJae8RAnG7AJoCYeyueGEBidjqr7lnWDWvdQxr0wCcDeSQ 3ORLLD+VHsfmUg5DWwia2SY= =j/ko -----END PGP SIGNATURE----- Accepted: coq-doc-html_8.1~gamma-1_all.deb to pool/non-free/c/coq-doc/coq-doc-html_8.1~gamma-1_all.deb coq-doc-pdf_8.1~gamma-1_all.deb to pool/non-free/c/coq-doc/coq-doc-pdf_8.1~gamma-1_all.deb coq-doc_8.1~gamma-1.diff.gz to pool/non-free/c/coq-doc/coq-doc_8.1~gamma-1.diff.gz coq-doc_8.1~gamma-1.dsc to pool/non-free/c/coq-doc/coq-doc_8.1~gamma-1.dsc coq-doc_8.1~gamma-1_all.deb to pool/non-free/c/coq-doc/coq-doc_8.1~gamma-1_all.deb coq-doc_8.1~gamma.orig.tar.gz to pool/non-free/c/coq-doc/coq-doc_8.1~gamma.orig.tar.gz