-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 9 Apr 2004 18:03:41 +0200 Source: coq Binary: coq Architecture: source i386 Version: 7.3.1-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: coq - Proof assistant for higher-order logic Closes: 242761 Changes: coq (7.3.1-3) unstable; urgency=low . * Added build-dependency on ocaml-best-compilers, check for opt compilers in the configure-stamp target of debian/rules. Thanks to Mike Furr for the patch (closes: #242761). * Converted changelog to UTF-8. Files: b39aa257a852f209b36345202e0e1319 799 devel optional coq_7.3.1-3.dsc 7e3c6aa74a21797abd554b929beef68b 8521 devel optional coq_7.3.1-3.diff.gz f39734a2edfe2d7d35809122b688a818 7546024 devel optional coq_7.3.1-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFAdtdOtzWmSeC6BMERAsgrAJ9A+vY4IdpIfukiF0vu8q1tJusmzQCfbI4j UbxeXlamLzfXZ2V4f/plHik= =ithR -----END PGP SIGNATURE----- Accepted: coq_7.3.1-3.diff.gz to pool/main/c/coq/coq_7.3.1-3.diff.gz coq_7.3.1-3.dsc to pool/main/c/coq/coq_7.3.1-3.dsc coq_7.3.1-3_i386.deb to pool/main/c/coq/coq_7.3.1-3_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
