Accepted coq 8.0pl2-3 (source all i386)
-----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
Reply to: