Accepted coq 8.1.pl1+dfsg-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 22 Aug 2007 16:39:04 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl1+dfsg-2
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.1.pl1+dfsg-2) experimental; urgency=low
.
* Updated for OCaml 3.10.
* Build-depend on camlp5.
* Added camlp5.dpatch to fix compilation problems.
Files:
03304958c2891cfed1f8549c2586df74 1097 math optional coq_8.1.pl1+dfsg-2.dsc
385f9cabaa43c2e3a0050d14eafa28b9 20664 math optional coq_8.1.pl1+dfsg-2.diff.gz
970b3fe384c9cbdbd34396f295d1a2c6 12592414 math optional coq-libs_8.1.pl1+dfsg-2_all.deb
3a9348a1f8dd41523135d1753caf3cf0 7735808 math optional coq_8.1.pl1+dfsg-2_i386.deb
95aa6164d3fba264d7f351d3ca6fb0f2 4864654 math optional coqide_8.1.pl1+dfsg-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGzr/pIae1O4AJae8RAm10AJ98aIvJuD2PowV0iJrbWkyj3KC5ZgCffzV+
kmME2neqKxay345+wTEjTqo=
=vR9/
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.1.pl1+dfsg-2_all.deb
to pool/main/c/coq/coq-libs_8.1.pl1+dfsg-2_all.deb
coq_8.1.pl1+dfsg-2.diff.gz
to pool/main/c/coq/coq_8.1.pl1+dfsg-2.diff.gz
coq_8.1.pl1+dfsg-2.dsc
to pool/main/c/coq/coq_8.1.pl1+dfsg-2.dsc
coq_8.1.pl1+dfsg-2_i386.deb
to pool/main/c/coq/coq_8.1.pl1+dfsg-2_i386.deb
coqide_8.1.pl1+dfsg-2_i386.deb
to pool/main/c/coq/coqide_8.1.pl1+dfsg-2_i386.deb
Reply to: