-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 13 Jul 2006 14:40:04 +0000 Source: coq-doc Binary: coq-doc-pdf coq-doc-html coq-doc Architecture: source all Version: 8.0pl3+8.1beta.2-1 Distribution: experimental Urgency: low Maintainer: Samuel Mimram <[EMAIL PROTECTED]> Changed-By: Samuel Mimram <[EMAIL PROTECTED]> 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.0pl3+8.1beta.2-1) experimental; urgency=low . * New beta upstream release. Files: cdf56cbc033be0c56b4b93d154d381b8 692 non-free/doc optional coq-doc_8.0pl3+8.1beta.2-1.dsc 94c5c8b8c5b9d92e7c5974b14e3a15b7 507131 non-free/doc optional coq-doc_8.0pl3+8.1beta.2.orig.tar.gz 6b3c4f5b45008113c59a334fa84aecda 7181 non-free/doc optional coq-doc_8.0pl3+8.1beta.2-1.diff.gz f3c99c19dedccb33def31c35e12d7672 5236 non-free/doc optional coq-doc_8.0pl3+8.1beta.2-1_all.deb ed30be40ad106de1e9abb60ba4104a86 362964 non-free/doc optional coq-doc-html_8.0pl3+8.1beta.2-1_all.deb 4b1cf43a52103f76ca7d87ad5b46498f 1694938 non-free/doc optional coq-doc-pdf_8.0pl3+8.1beta.2-1_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFEtntXIae1O4AJae8RAoc5AJ9yRwxZNHBL00UPqEdO4xiZNy5p9gCeNrRi iNuD8pHtaK2TmWmzAmgJHVg= =YLo6 -----END PGP SIGNATURE----- Accepted: coq-doc-html_8.0pl3+8.1beta.2-1_all.deb to pool/non-free/c/coq-doc/coq-doc-html_8.0pl3+8.1beta.2-1_all.deb coq-doc-pdf_8.0pl3+8.1beta.2-1_all.deb to pool/non-free/c/coq-doc/coq-doc-pdf_8.0pl3+8.1beta.2-1_all.deb coq-doc_8.0pl3+8.1beta.2-1.diff.gz to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1beta.2-1.diff.gz coq-doc_8.0pl3+8.1beta.2-1.dsc to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1beta.2-1.dsc coq-doc_8.0pl3+8.1beta.2-1_all.deb to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1beta.2-1_all.deb coq-doc_8.0pl3+8.1beta.2.orig.tar.gz to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1beta.2.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
