-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 29 Nov 2007 13:59:01 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1.pl2+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: 435023 452572 Changes: coq (8.1.pl2+dfsg-3) unstable; urgency=low . * Added check.dpatch to remove warnings which made some tests erroneously fail, closes: #452572. * Added a dependency from coq to emacsen-common, closes: #435023. Files: c7853f36ba09fda314dff8382fe6edaf 1064 math optional coq_8.1.pl2+dfsg-3.dsc 4e89bc08cafa98f36c8b244fdbce9613 15444 math optional coq_8.1.pl2+dfsg-3.diff.gz cd3fb9d5b31094ab16f8784774b7b71a 12593120 math optional coq-libs_8.1.pl2+dfsg-3_all.deb bfed0318d8c8b694e59d0a6f287c6a69 7781132 math optional coq_8.1.pl2+dfsg-3_i386.deb ef442f5967908be0062c6c32ceb7d001 4904856 math optional coqide_8.1.pl2+dfsg-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHTtIgIae1O4AJae8RAgKtAJ9Zid67Iy0+gpY9i4kGg++Zzs6V3wCfWmNW mX68kgQS4LWUIkMKmU+gi3s= =jg28 -----END PGP SIGNATURE----- Accepted: coq-libs_8.1.pl2+dfsg-3_all.deb to pool/main/c/coq/coq-libs_8.1.pl2+dfsg-3_all.deb coq_8.1.pl2+dfsg-3.diff.gz to pool/main/c/coq/coq_8.1.pl2+dfsg-3.diff.gz coq_8.1.pl2+dfsg-3.dsc to pool/main/c/coq/coq_8.1.pl2+dfsg-3.dsc coq_8.1.pl2+dfsg-3_i386.deb to pool/main/c/coq/coq_8.1.pl2+dfsg-3_i386.deb coqide_8.1.pl2+dfsg-3_i386.deb to pool/main/c/coq/coqide_8.1.pl2+dfsg-3_i386.deb
