-----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