-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 22 May 2002 14:48:21 +0200 Source: coq Binary: coq Architecture: source i386 Version: 7.3-1 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Judicael Courant <Judicael.Courant@lri.fr> Description: coq - a proof assistant for higher-order logic. Changes: coq (7.3-1) unstable; urgency=low . * New upstream version. Files: 1d805c8ac1d735c912ad04f0981ac053 571 devel optional coq_7.3-1.dsc a2214aee9b9603b520ea604cc18bc87e 1244858 devel optional coq_7.3.orig.tar.gz d61ba61290812e0541b8d4344928a3e3 6071 devel optional coq_7.3-1.diff.gz d27dbd9567696652a270db9b60e56e6c 7330228 devel optional coq_7.3-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE86+2FtzWmSeC6BMERAouZAJwLJIPYZYdGFMoJDtVX4n/L+TEeUACeKeAs 1MyKB6xwhg1zcWJgdhdDDbc= =n3TL -----END PGP SIGNATURE----- Accepted: coq_7.3-1.diff.gz to pool/main/c/coq/coq_7.3-1.diff.gz coq_7.3-1.dsc to pool/main/c/coq/coq_7.3-1.dsc coq_7.3-1_i386.deb to pool/main/c/coq/coq_7.3-1_i386.deb coq_7.3.orig.tar.gz to pool/main/c/coq/coq_7.3.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
