Accepted coq-doc 8.1-1 (source all)
-----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