-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 7 Sep 2005 21:26:36 +0200 Source: coq Binary: coq7-libs coqide coq-libs coq Architecture: source all i386 Version: 8.0pl2-3 Distribution: unstable 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) coq7-libs - proof assistant for higher-order logic (Coq 7 theories) coqide - proof assistant for higher-order logic (gtk interface) Closes: 326740 Changes: coq (8.0pl2-3) unstable; urgency=low . * Added text_view_typing_error patch to avoid a typing error and solve the FTBFS, closes: #326740. * Added forgotten call to dh_installmenu. Files: 6b7db278bcd6ffe325bcaa95753bda55 884 math optional coq_8.0pl2-3.dsc e9adb47ba07f271dd85213033933bf14 11674 math optional coq_8.0pl2-3.diff.gz 8be6675783068345962f0ecee5efce30 3736032 math optional coq-libs_8.0pl2-3_all.deb 54f185ee4da87584a7ddb7aff954b0be 3811418 math optional coq7-libs_8.0pl2-3_all.deb f6f5dfcb44bcbb86884dd52338285238 6044906 math optional coq_8.0pl2-3_i386.deb 315ecbec74d3e6716e55fb5cd34911f0 4066762 math optional coqide_8.0pl2-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFDH0xwIae1O4AJae8RAlxvAKCFInlXyZynyQ+z7wMOeHVAwmDT0gCfaxHl BcU0W8S3mkIdHxD5Gmfd3Rs= =hMC2 -----END PGP SIGNATURE----- Accepted: coq-libs_8.0pl2-3_all.deb to pool/main/c/coq/coq-libs_8.0pl2-3_all.deb coq7-libs_8.0pl2-3_all.deb to pool/main/c/coq/coq7-libs_8.0pl2-3_all.deb coq_8.0pl2-3.diff.gz to pool/main/c/coq/coq_8.0pl2-3.diff.gz coq_8.0pl2-3.dsc to pool/main/c/coq/coq_8.0pl2-3.dsc coq_8.0pl2-3_i386.deb to pool/main/c/coq/coq_8.0pl2-3_i386.deb coqide_8.0pl2-3_i386.deb to pool/main/c/coq/coqide_8.0pl2-3_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
