-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 18 Mar 2007 13:21:56 +0100 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1+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) Closes: 415867 Changes: coq (8.1+dfsg-2) experimental; urgency=low . * Added cmxa-install.dpatch to install cmxa only on native archs, closes: #415867. * Added configure.dpatch for the configure to correctly detect whether ocamlopt is present or not. * Use dh_installtex instead of hand-crafted postinst. Files: 6a72e6a178e0e7597f70cbc541cdb7ea 1093 math optional coq_8.1+dfsg-2.dsc 470e51ca0e3efd6134e5bd74d25b1f21 14576 math optional coq_8.1+dfsg-2.diff.gz de4c89d147184c87e04438fcb5805ef3 14796926 math optional coq-libs_8.1+dfsg-2_all.deb 13a256535499b2e02f342e19794b8b18 7437820 math optional coq_8.1+dfsg-2_i386.deb 37f89a4b21d42c73ddcb1fbcb56fb1d3 4642524 math optional coqide_8.1+dfsg-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGBRAmIae1O4AJae8RAhgTAJ4hWjL5Mh/39aWGXHCuTI7WZukTjQCeJPuQ QLwrjr8nMMWUkfGw7tN7k50= =hgBA -----END PGP SIGNATURE----- Accepted: coq-libs_8.1+dfsg-2_all.deb to pool/main/c/coq/coq-libs_8.1+dfsg-2_all.deb coq_8.1+dfsg-2.diff.gz to pool/main/c/coq/coq_8.1+dfsg-2.diff.gz coq_8.1+dfsg-2.dsc to pool/main/c/coq/coq_8.1+dfsg-2.dsc coq_8.1+dfsg-2_i386.deb to pool/main/c/coq/coq_8.1+dfsg-2_i386.deb coqide_8.1+dfsg-2_i386.deb to pool/main/c/coq/coqide_8.1+dfsg-2_i386.deb
