-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sun, 30 Apr 2006 11:51:57 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.0pl3+8.1alpha-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.0pl3+8.1alpha-2) experimental; urgency=low
.
* Added makefile.dpatch in order for ocamlopt not to be called when
compiling on non-native archs.
* Do not build the pdf documentation for the library since we don't ship it.
This will avoid the FTBFS because of missing LaTeX fonts.
Files:
67e237631d42ce145d40980773c453ab 907 math optional coq_8.0pl3+8.1alpha-2.dsc
c17f9a74d3efdd8460b22c97ff8f9868 14135 math optional coq_8.0pl3+8.1alpha-2.diff.gz
3ca3c5295f8125a39a13054c26d0293c 7137464 math optional coq-libs_8.0pl3+8.1alpha-2_all.deb
0fd0073206bc34173effc5eb8c8fedf3 6340914 math optional coq_8.0pl3+8.1alpha-2_i386.deb
67590937fe46548bfe780a0a6836d249 4370746 math optional coqide_8.0pl3+8.1alpha-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
iD8DBQFEVMsfIae1O4AJae8RAtxEAJ9DHMlJESxHr8sIaEx5mnCPrzq8XgCfWnDp
rsvEiDqdzi8+69/wdEUxMr0=
=J4US
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl3+8.1alpha-2_all.deb
to pool/main/c/coq/coq-libs_8.0pl3+8.1alpha-2_all.deb
coq_8.0pl3+8.1alpha-2.diff.gz
to pool/main/c/coq/coq_8.0pl3+8.1alpha-2.diff.gz
coq_8.0pl3+8.1alpha-2.dsc
to pool/main/c/coq/coq_8.0pl3+8.1alpha-2.dsc
coq_8.0pl3+8.1alpha-2_i386.deb
to pool/main/c/coq/coq_8.0pl3+8.1alpha-2_i386.deb
coqide_8.0pl3+8.1alpha-2_i386.deb
to pool/main/c/coq/coqide_8.0pl3+8.1alpha-2_i386.deb
