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