-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 22 Aug 2007 16:39:04 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1.pl1+dfsg-2 Distribution: experimental 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) Changes: coq (8.1.pl1+dfsg-2) experimental; urgency=low . * Updated for OCaml 3.10. * Build-depend on camlp5. * Added camlp5.dpatch to fix compilation problems. Files: 03304958c2891cfed1f8549c2586df74 1097 math optional coq_8.1.pl1+dfsg-2.dsc 385f9cabaa43c2e3a0050d14eafa28b9 20664 math optional coq_8.1.pl1+dfsg-2.diff.gz 970b3fe384c9cbdbd34396f295d1a2c6 12592414 math optional coq-libs_8.1.pl1+dfsg-2_all.deb 3a9348a1f8dd41523135d1753caf3cf0 7735808 math optional coq_8.1.pl1+dfsg-2_i386.deb 95aa6164d3fba264d7f351d3ca6fb0f2 4864654 math optional coqide_8.1.pl1+dfsg-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGzr/pIae1O4AJae8RAm10AJ98aIvJuD2PowV0iJrbWkyj3KC5ZgCffzV+ kmME2neqKxay345+wTEjTqo= =vR9/ -----END PGP SIGNATURE----- Accepted: coq-libs_8.1.pl1+dfsg-2_all.deb to pool/main/c/coq/coq-libs_8.1.pl1+dfsg-2_all.deb coq_8.1.pl1+dfsg-2.diff.gz to pool/main/c/coq/coq_8.1.pl1+dfsg-2.diff.gz coq_8.1.pl1+dfsg-2.dsc to pool/main/c/coq/coq_8.1.pl1+dfsg-2.dsc coq_8.1.pl1+dfsg-2_i386.deb to pool/main/c/coq/coq_8.1.pl1+dfsg-2_i386.deb coqide_8.1.pl1+dfsg-2_i386.deb to pool/main/c/coq/coqide_8.1.pl1+dfsg-2_i386.deb
