Accepted coq-doc 8.0pl1-1 (all source)
-----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 <samuel.mimram@ens-lyon.org>
Changed-By: Samuel Mimram <samuel.mimram@ens-lyon.org>
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 debian-devel-changes-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org