-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sat, 08 Sep 2007 00:35:31 +0200 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1.pl1+dfsg-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Samuel Mimram <smimram@debian.org> Description: coq - proof assistant for higher-order logic (toplevel and compiler) coq-libs - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) Closes: 439570 Changes: coq (8.1.pl1+dfsg-3) unstable; urgency=low . * Depend on ocaml-base-nox since coq_makefile needs ocamlrun, closes: #439570. Files: ae7075f9129e418ca8d0c5b56a8c3294 1097 math optional coq_8.1.pl1+dfsg-3.dsc 6cd75000c7ae800f0302f14d0561825c 20780 math optional coq_8.1.pl1+dfsg-3.diff.gz 1302988f867beb0b8bc9161c403648f2 12590454 math optional coq-libs_8.1.pl1+dfsg-3_all.deb ccbcccb75c62bdfa76b358c66593b547 7738884 math optional coq_8.1.pl1+dfsg-3_i386.deb 75caa883a97f78d086e5b365c3ed5d6a 4866890 math optional coqide_8.1.pl1+dfsg-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFG4djJIae1O4AJae8RAtNVAJ9RH803i6sEX6wnHU0cd6ebbZa9ngCeLhB9 ZHZ5i3oPomYH095DPO0jqkE= =e4TV -----END PGP SIGNATURE----- Accepted: coq-libs_8.1.pl1+dfsg-3_all.deb to pool/main/c/coq/coq-libs_8.1.pl1+dfsg-3_all.deb coq_8.1.pl1+dfsg-3.diff.gz to pool/main/c/coq/coq_8.1.pl1+dfsg-3.diff.gz coq_8.1.pl1+dfsg-3.dsc to pool/main/c/coq/coq_8.1.pl1+dfsg-3.dsc coq_8.1.pl1+dfsg-3_i386.deb to pool/main/c/coq/coq_8.1.pl1+dfsg-3_i386.deb coqide_8.1.pl1+dfsg-3_i386.deb to pool/main/c/coq/coqide_8.1.pl1+dfsg-3_i386.deb
