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