-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 21 Jan 2002 09:46:16 +0100 Source: coq Binary: coq Architecture: source i386 Version: 7.2-3 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Judicaël Courant <Judicael.Courant@lri.fr> Description: coq - a proof assistant for higher-order logic. Closes: 130046 Changes: coq (7.2-3) unstable; urgency=low . * Workaround for problems with buildd/apt trying to install camlp4 (closes: Bug#130046). Files: 0c0a34f01dee7e9dd28cd8f42685c334 630 devel optional coq_7.2-3.dsc 829106eebad606f611d3d885b7eb5277 3727 devel optional coq_7.2-3.diff.gz f18aad8d9ebfebea5abc544d64afa406 8177164 devel optional coq_7.2-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.6 (GNU/Linux) Comment: For info see http://www.gnupg.org iD8DBQE8WF99tzWmSeC6BMERAnrHAJ48C4rnlHJo/+/HabkX0OAPYlNphgCfTL7i IMJdAIMQDY0dXfe04GE8Ji0= =j6Ay -----END PGP SIGNATURE----- Installed: coq_7.2-3.diff.gz to pool/main/c/coq/coq_7.2-3.diff.gz coq_7.2-3.dsc to pool/main/c/coq/coq_7.2-3.dsc coq_7.2-3_i386.deb to pool/main/c/coq/coq_7.2-3_i386.deb
