-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 16 Jun 2006 12:59:07 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source i386 all Version: 8.0pl3+8.1beta-1 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.0pl3+8.1beta-1) experimental; urgency=low . * New upstream release. * Added --fsets all option to configure to build the theory of finite sets. * Updated coqdoc_stdlib.dpatch, partly integrated upstream. * Removed failing_tests.dpath, all the tests should succeed now. * We don't need to remove rpaths anymore. * Updated standards version to 3.7.2, no changes needed. Files: 456d4796ce27552e955cecd0a0971f32 915 math optional coq_8.0pl3+8.1beta-1.dsc b688debc6e56223db95ddba87554cc9d 2821152 math optional coq_8.0pl3+8.1beta.orig.tar.gz 9fc6c8e8d9102b6d6cda856d045859c2 12930 math optional coq_8.0pl3+8.1beta-1.diff.gz 32ea8516cec89547d2f08caf17b47db0 13269590 math optional coq-libs_8.0pl3+8.1beta-1_all.deb e52746b11d810f7be48f6f0443f51c50 6410112 math optional coq_8.0pl3+8.1beta-1_i386.deb c9dce726bce1259f020844d5c22c69aa 4406138 math optional coqide_8.0pl3+8.1beta-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFEksawIae1O4AJae8RAgBqAJsHBl2QdNLrvFt66k7ltolqQVbxvACfcbwg ITMaAQnq3tgOweHOSYO79q4= =Kljh -----END PGP SIGNATURE----- Accepted: coq-libs_8.0pl3+8.1beta-1_all.deb to pool/main/c/coq/coq-libs_8.0pl3+8.1beta-1_all.deb coq_8.0pl3+8.1beta-1.diff.gz to pool/main/c/coq/coq_8.0pl3+8.1beta-1.diff.gz coq_8.0pl3+8.1beta-1.dsc to pool/main/c/coq/coq_8.0pl3+8.1beta-1.dsc coq_8.0pl3+8.1beta-1_i386.deb to pool/main/c/coq/coq_8.0pl3+8.1beta-1_i386.deb coq_8.0pl3+8.1beta.orig.tar.gz to pool/main/c/coq/coq_8.0pl3+8.1beta.orig.tar.gz coqide_8.0pl3+8.1beta-1_i386.deb to pool/main/c/coq/coqide_8.0pl3+8.1beta-1_i386.deb
