Accepted coq-doc 8.1-2 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 09 Apr 2007 17:21:10 +0200
Source: coq-doc
Binary: coq-doc-pdf coq-doc-html coq-doc
Architecture: source all
Version: 8.1-2
Distribution: unstable
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-2) unstable; urgency=low
.
* Uploading to unstable.
Files:
ddfeba9f045fbb1daf22de7df8cecde6 822 non-free/doc optional coq-doc_8.1-2.dsc
7a717692f8d8b378569f00975ee17ca0 7728 non-free/doc optional coq-doc_8.1-2.diff.gz
6f76a9b028bf722ab9fafdc8460a4267 5444 non-free/doc optional coq-doc_8.1-2_all.deb
67cd0804146eff3a6a1ef43878fa370b 437762 non-free/doc optional coq-doc-html_8.1-2_all.deb
5378c0797d017f76ed832b49eedcdf16 1721700 non-free/doc optional coq-doc-pdf_8.1-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGGlufIae1O4AJae8RAj0qAJ4i6zAnrAZ3psD70ImOmwbj/EV0vQCbBro8
ehwlc6HASfRvxm/B0T834+w=
=xZz5
-----END PGP SIGNATURE-----
Accepted:
coq-doc-html_8.1-2_all.deb
to pool/non-free/c/coq-doc/coq-doc-html_8.1-2_all.deb
coq-doc-pdf_8.1-2_all.deb
to pool/non-free/c/coq-doc/coq-doc-pdf_8.1-2_all.deb
coq-doc_8.1-2.diff.gz
to pool/non-free/c/coq-doc/coq-doc_8.1-2.diff.gz
coq-doc_8.1-2.dsc
to pool/non-free/c/coq-doc/coq-doc_8.1-2.dsc
coq-doc_8.1-2_all.deb
to pool/non-free/c/coq-doc/coq-doc_8.1-2_all.deb