-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 13 Aug 2004 16:32:10 +0200 Source: coq-doc Binary: coq-doc Architecture: source all Version: 8.0pl1-1 Distribution: unstable Urgency: medium Maintainer: Samuel Mimram <[EMAIL PROTECTED]> Changed-By: Samuel Mimram <[EMAIL PROTECTED]> Description: coq-doc - Documentation for Coq Closes: 146617 146618 265077 Changes: coq-doc (8.0pl1-1) unstable; urgency=medium . * New maintainer. * New upstream release, closes: #265077. * Converted changelog and control to utf8. * Updated Standards-Version to 3.6.1. * Removed the unneeded Depends. * Added a symbolic link to the documentation in /usr/share/doc/coq, closes: #146617. * Included the html documentation, closes: #146618. * Slightly modified the description, since we now also have the html doc. * The package is now built by the binary-indep rule of debian/rules. Files: dffbfce4e3d18da2ae7c34784ebf4cf1 580 doc optional coq-doc_8.0pl1-1.dsc b0364a4e461bf185b173e1b5b408010a 1643275 doc optional coq-doc_8.0pl1.orig.tar.gz ba74c4c348cc3f0b6d791dd436537694 2854 doc optional coq-doc_8.0pl1-1.diff.gz af8be2eff19a9577d90b529fb9101440 1713218 doc optional coq-doc_8.0pl1-1_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBIICltzWmSeC6BMERAgWiAKCp6/CrjvFFFP7s/9kpUYQ7a8YDXgCcCsb1 xKspmLlud4H2hdlsEZvdpgQ= =2QS/ -----END PGP SIGNATURE----- Accepted: coq-doc_8.0pl1-1.diff.gz to pool/main/c/coq-doc/coq-doc_8.0pl1-1.diff.gz coq-doc_8.0pl1-1.dsc to pool/main/c/coq-doc/coq-doc_8.0pl1-1.dsc coq-doc_8.0pl1-1_all.deb to pool/main/c/coq-doc/coq-doc_8.0pl1-1_all.deb coq-doc_8.0pl1.orig.tar.gz to pool/main/c/coq-doc/coq-doc_8.0pl1.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]