Accepted coq-doc 8.0pl1.0-1 (all source)
-----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