-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 13 Jul 2006 16:28:24 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source i386 all Version: 8.0pl3+8.1beta.2-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.2-1) experimental; urgency=low . * New upstream beta release. * Added assert.dpatch to check assertions in native mode. Files: 7c4737e4e18ba816bc07d9b77501656e 921 math optional coq_8.0pl3+8.1beta.2-1.dsc 196831e54bc03b13ba57a31631de5849 2853384 math optional coq_8.0pl3+8.1beta.2.orig.tar.gz 3b8c77062d014b48ecdf3378653ae130 13177 math optional coq_8.0pl3+8.1beta.2-1.diff.gz d69201461f5ed918361448bd60939553 13925266 math optional coq-libs_8.0pl3+8.1beta.2-1_all.deb 8ac17dd463d55baff96cb0baa2cd8b2d 6495912 math optional coq_8.0pl3+8.1beta.2-1_i386.deb 5de621f96c97048d11d280f41d0059a7 4447644 math optional coqide_8.0pl3+8.1beta.2-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFEtnmcIae1O4AJae8RArCCAJ0aUB3LguhqzHbQQchdKfMAK/SnYACfSvJ1 JeQdzP4jdayB0G1EsfmIqS0= =u0NI -----END PGP SIGNATURE----- Accepted: coq-libs_8.0pl3+8.1beta.2-1_all.deb to pool/main/c/coq/coq-libs_8.0pl3+8.1beta.2-1_all.deb coq_8.0pl3+8.1beta.2-1.diff.gz to pool/main/c/coq/coq_8.0pl3+8.1beta.2-1.diff.gz coq_8.0pl3+8.1beta.2-1.dsc to pool/main/c/coq/coq_8.0pl3+8.1beta.2-1.dsc coq_8.0pl3+8.1beta.2-1_i386.deb to pool/main/c/coq/coq_8.0pl3+8.1beta.2-1_i386.deb coq_8.0pl3+8.1beta.2.orig.tar.gz to pool/main/c/coq/coq_8.0pl3+8.1beta.2.orig.tar.gz coqide_8.0pl3+8.1beta.2-1_i386.deb to pool/main/c/coq/coqide_8.0pl3+8.1beta.2-1_i386.deb
