Accepted coq-doc 8.1~gamma-2 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 16 Jan 2007 17:40:02 +0000
Source: coq-doc
Binary: coq-doc-pdf coq-doc-html coq-doc
Architecture: source all
Version: 8.1~gamma-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: 407117
Changes:
coq-doc (8.1~gamma-2) experimental; urgency=low
.
* Correctly install html documentation, closes: #407117.
Files:
6cd2e5faa5659ab9d05ccb19a42270ba 750 non-free/doc optional coq-doc_8.1~gamma-2.dsc
c6180531fde254399043140e0e7420cd 7643 non-free/doc optional coq-doc_8.1~gamma-2.diff.gz
2302234d73f718fda161e1e1aa284f63 5374 non-free/doc optional coq-doc_8.1~gamma-2_all.deb
5bf403d224196da124dfa8d341ae15be 431540 non-free/doc optional coq-doc-html_8.1~gamma-2_all.deb
a7f5f8f6356c9cc47dc85c5d414ba03e 1724242 non-free/doc optional coq-doc-pdf_8.1~gamma-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFFrQ98Iae1O4AJae8RAlT/AJ9N/mjv30/7Rzz9yTVJGNDsOJDaOwCdFerI
Z8xtbY4ZUQFxKzlsbXgq1Mg=
=tWu6
-----END PGP SIGNATURE-----
Accepted:
coq-doc-html_8.1~gamma-2_all.deb
to pool/non-free/c/coq-doc/coq-doc-html_8.1~gamma-2_all.deb
coq-doc-pdf_8.1~gamma-2_all.deb
to pool/non-free/c/coq-doc/coq-doc-pdf_8.1~gamma-2_all.deb
coq-doc_8.1~gamma-2.diff.gz
to pool/non-free/c/coq-doc/coq-doc_8.1~gamma-2.diff.gz
coq-doc_8.1~gamma-2.dsc
to pool/non-free/c/coq-doc/coq-doc_8.1~gamma-2.dsc
coq-doc_8.1~gamma-2_all.deb
to pool/non-free/c/coq-doc/coq-doc_8.1~gamma-2_all.deb