-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 7 Oct 2002 12:34:03 +0200 Source: coq Binary: coq Architecture: source i386 Version: 7.3.1-1 Distribution: unstable Urgency: low Maintainer: Judicaël Courant <Judicael.Courant@lri.fr> Changed-By: Judicael Courant <Judicael.Courant@lri.fr> Description: coq - a proof assistant for higher-order logic. Closes: 162894 Changes: coq (7.3.1-1) unstable; urgency=low . * New bugfix upstream version. * Proof General is now Recommended since he has been freed (closes: Bug#162894). Files: e1ac46f4f7b12b36aa795bb892bdae84 577 devel optional coq_7.3.1-1.dsc a1a927e014470169b0e0b2d093715e66 1244554 devel optional coq_7.3.1.orig.tar.gz a98a34fbfd2ba00207470a9bf771f6a0 4806 devel optional coq_7.3.1-1.diff.gz db39696d2d184991094a72207f2c4944 7428634 devel optional coq_7.3.1-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.0 (GNU/Linux) iD8DBQE9pJJztzWmSeC6BMERAgSlAJ4gveZg1xTGLtnAG9V+QCgiBgQLgACg+quB DfIl2ujU3qBlxvzUNXDl5Bo= =qoKr -----END PGP SIGNATURE----- Accepted: coq_7.3.1-1.diff.gz to pool/main/c/coq/coq_7.3.1-1.diff.gz coq_7.3.1-1.dsc to pool/main/c/coq/coq_7.3.1-1.dsc coq_7.3.1-1_i386.deb to pool/main/c/coq/coq_7.3.1-1_i386.deb coq_7.3.1.orig.tar.gz to pool/main/c/coq/coq_7.3.1.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
