Accepted coq 8.0pl3+8.1beta-1 (source i386 all)
-----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
Reply to: