-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 13 Feb 2007 11:38:43 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1+dfsg-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.1+dfsg-1) experimental; urgency=low
.
* New upstream release.
* Removed system.dpatch and next-ia64.dpatch, integrated upstream.
* Removed the subdirectories common, faq, RecTutorial, refman, rt, tools,
tutorial of the directory doc since they contain documentation under the
Open Publication License which is not DFSG-free (thus the +dfsg in the
version number). The script debian/utils/purify_tarball automates this
process. This documentation in packaged separately in non-free, in
the coq-doc package.
Files:
9ac474a21986cb7dbc09234cba753b13 942 math optional coq_8.1+dfsg-1.dsc
8873d8cd71bfcf263fab1d34b94a0dce 2512805 math optional coq_8.1+dfsg.orig.tar.gz
d690a97fa4cc2e4399f7620fde8f1b35 14044 math optional coq_8.1+dfsg-1.diff.gz
d57ac74691b7f342a32ddd8ef2c25fc7 14796020 math optional coq-libs_8.1+dfsg-1_all.deb
8d8e1eeb2e196ec2e8f6c0c013a5f751 7437184 math optional coq_8.1+dfsg-1_i386.deb
8182ec7978e2253ba8130182918c3b75 4641694 math optional coqide_8.1+dfsg-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFF0fbIIae1O4AJae8RAtiPAJ9y9bg2CzNE3SrGVkIaJihwhgTM6gCeJo3N
4vIXtcnJRASEWPQL+GpzeOg=
=/LAu
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.1+dfsg-1_all.deb
to pool/main/c/coq/coq-libs_8.1+dfsg-1_all.deb
coq_8.1+dfsg-1.diff.gz
to pool/main/c/coq/coq_8.1+dfsg-1.diff.gz
coq_8.1+dfsg-1.dsc
to pool/main/c/coq/coq_8.1+dfsg-1.dsc
coq_8.1+dfsg-1_i386.deb
to pool/main/c/coq/coq_8.1+dfsg-1_i386.deb
coq_8.1+dfsg.orig.tar.gz
to pool/main/c/coq/coq_8.1+dfsg.orig.tar.gz
coqide_8.1+dfsg-1_i386.deb
to pool/main/c/coq/coqide_8.1+dfsg-1_i386.deb
