Accepted coq-doc 8.0pl3+8.1beta.2-1 (source all)
-----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 <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.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