Accepted coq-doc 7.2-1 (all source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 18 Apr 2002 15:08:00 +0200
Source: coq-doc
Binary: coq-doc
Architecture: source all
Version: 7.2-1
Distribution: unstable
Urgency: medium
Maintainer: Judicaël Courant <Judicael.Courant@lri.fr>
Changed-By: Judicaël Courant <Judicael.Courant@lri.fr>
Description:
coq-doc - documentation for Coq package in ps format
Changes:
coq-doc (7.2-1) unstable; urgency=medium
.
* New upstream version.
* New maintainer.
Files:
bb4508fe2049af9bfedd09362b99ca6b 618 doc optional coq-doc_7.2-1.dsc
bc417df57284e08e29073022db1884e7 1218177 doc optional coq-doc_7.2.orig.tar.gz
7c7b5d46f5ee94167857cee9dfd9e077 2443 doc optional coq-doc_7.2-1.diff.gz
3103cad42187313cbc27cecf703096dd 1221366 doc optional coq-doc_7.2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Weitere Infos: siehe http://www.gnupg.org
iD8DBQE8v5t0GKDMjVcGpLQRAo5IAJ9G1WR5ma5T64vnLU+q+GPHi4txBwCfT8Be
RLatjr+7R1XxO2YAT2xO0LE=
=w/Ku
-----END PGP SIGNATURE-----
Accepted:
coq-doc_7.2-1.diff.gz
to pool/main/c/coq-doc/coq-doc_7.2-1.diff.gz
coq-doc_7.2-1.dsc
to pool/main/c/coq-doc/coq-doc_7.2-1.dsc
coq-doc_7.2-1_all.deb
to pool/main/c/coq-doc/coq-doc_7.2-1_all.deb
coq-doc_7.2.orig.tar.gz
to pool/main/c/coq-doc/coq-doc_7.2.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