-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sat, 18 Sep 2004 13:28:22 +0200 Source: coq-doc Binary: coq-doc Architecture: source all Version: 8.0pl1.0-1 Distribution: unstable Urgency: low Maintainer: Samuel Mimram <samuel.mimram@ens-lyon.org> Changed-By: Samuel Mimram <samuel.mimram@ens-lyon.org> Description: coq-doc - Documentation for Coq Closes: 272204 Changes: coq-doc (8.0pl1.0-1) unstable; urgency=low . * Added the Coq faq, moved the tutorial to the root directory and added doc-base files for both, closes: #272204. * Set dh_compat to level 4. Files: 32e46ae80d3f5b493b5e608fa6fca266 586 doc optional coq-doc_8.0pl1.0-1.dsc 5038e36396645ef1a54e0338fa844178 1679207 doc optional coq-doc_8.0pl1.0.orig.tar.gz 52d92458ed2ef80f365a553836b04cb5 3209 doc optional coq-doc_8.0pl1.0-1.diff.gz 3f926173a9d05466c145fa3e1dc0eaca 1661942 doc optional coq-doc_8.0pl1.0-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBTFGj1cqbBPLEI7wRAuLTAJwOBae70Z1rzQMTwSbkV443XSsVMwCfV8k3 JD7yjB6sfCD3hSqMRlp9Kno= =no7O -----END PGP SIGNATURE----- Accepted: coq-doc_8.0pl1.0-1.diff.gz to pool/main/c/coq-doc/coq-doc_8.0pl1.0-1.diff.gz coq-doc_8.0pl1.0-1.dsc to pool/main/c/coq-doc/coq-doc_8.0pl1.0-1.dsc coq-doc_8.0pl1.0-1_all.deb to pool/main/c/coq-doc/coq-doc_8.0pl1.0-1_all.deb coq-doc_8.0pl1.0.orig.tar.gz to pool/main/c/coq-doc/coq-doc_8.0pl1.0.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org