-----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