-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 4 Feb 2007 20:38:43 +0100 Source: coq Binary: coqide coq-libs coq Architecture: source i386 all Version: 8.1~gamma-3 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: 409027 Changes: coq (8.1~gamma-3) experimental; urgency=low . * Added next-ia64.dpatch to fix the FTBFS on ia64. * Correctly install coqdoc.sty, closes: #409027. * Build-depend on tetex-extra | texlive-latex-extra in order to allow building with texlive. Files: d8167b267bcf3ee8f42735f3387bbe7d 945 math optional coq_8.1~gamma-3.dsc 3046d79a02d370f9ef4c23ba5a7274de 14143 math optional coq_8.1~gamma-3.diff.gz e5d54a375fc05e30a21037ba19373cf5 14581010 math optional coq-libs_8.1~gamma-3_all.deb a93efb77dc77c4bf786419d5ec809f3b 6306992 math optional coq_8.1~gamma-3_i386.deb d5bbf58cac0b61fd50b2ba39ffb94da5 4587304 math optional coqide_8.1~gamma-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFFxkrxIae1O4AJae8RAkcVAJ9EjcLhlA6kelPoL/9Aj6cFvd3JngCfUb2b 8mj13Sm6bj8Y3acK9tP7CbU= =k6X1 -----END PGP SIGNATURE----- Accepted: coq-libs_8.1~gamma-3_all.deb to pool/main/c/coq/coq-libs_8.1~gamma-3_all.deb coq_8.1~gamma-3.diff.gz to pool/main/c/coq/coq_8.1~gamma-3.diff.gz coq_8.1~gamma-3.dsc to pool/main/c/coq/coq_8.1~gamma-3.dsc coq_8.1~gamma-3_i386.deb to pool/main/c/coq/coq_8.1~gamma-3_i386.deb coqide_8.1~gamma-3_i386.deb to pool/main/c/coq/coqide_8.1~gamma-3_i386.deb
