Accepted coq 8.4pl2dfsg-3 (source hurd-i386 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Nov 2013 14:38:00 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source hurd-i386 all
Version: 8.4pl2dfsg-3
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
libcoq-ocaml-dev - development libraries and tools for Coq
Changes:
coq (8.4pl2dfsg-3) experimental; urgency=low
.
* Compile with OCaml 4.01.0
* Disable micromega tests on Hurd (because of missing lockf)
Checksums-Sha1:
62473e35d5a303d349e8920307054763f8d1196d 2356 coq_8.4pl2dfsg-3.dsc
1dd9ff367cf0510080f9c38a194bfdc9fa70d81a 17635 coq_8.4pl2dfsg-3.debian.tar.gz
970256b9485ce849d58a35aafa22825d70d92613 3914768 coq_8.4pl2dfsg-3_hurd-i386.deb
027b2e32db7eb3bc24adf39e187cffd38a7835e2 725680 coqide_8.4pl2dfsg-3_hurd-i386.deb
380fb27ea9b15a11dbf67360277918968ba5aa48 31275040 coq-theories_8.4pl2dfsg-3_all.deb
30d7cd39777306f3e6f216c09ca0dbcec08d4adf 1487490 libcoq-ocaml_8.4pl2dfsg-3_hurd-i386.deb
efeb6fc9404bf6cc09205cf2d4ae8ed1c644d5f9 3672416 libcoq-ocaml-dev_8.4pl2dfsg-3_hurd-i386.deb
Checksums-Sha256:
b9775d1acc21618c9e45acf8a1eaeb615ec79faa7da6deab7988da3e45a24d4d 2356 coq_8.4pl2dfsg-3.dsc
48dd53857a8de0a3c97ff41a97d1694c2cae6e016dbe514a863636b3c5a73c6d 17635 coq_8.4pl2dfsg-3.debian.tar.gz
3c99869195930ef640ab3f65c4bae4fb091033601ad4810869ba4dd8fe76412f 3914768 coq_8.4pl2dfsg-3_hurd-i386.deb
b3d00edc155f56cbc15b05b487fc746c2b51e3daa9767d6e2bd17e63fdcaf15f 725680 coqide_8.4pl2dfsg-3_hurd-i386.deb
2fcb766ad809626a8807a7aaa38357eb95a2148838fcb3bd6bd974081268d55a 31275040 coq-theories_8.4pl2dfsg-3_all.deb
8945bd1177ca413ff6b197fbd47e54fad57a72f98f8eadde993d5db6b8ffd7f6 1487490 libcoq-ocaml_8.4pl2dfsg-3_hurd-i386.deb
287d33fb50ff51b265c79e06a9ec40c218f96adeb010de9d1e5462098c441c9f 3672416 libcoq-ocaml-dev_8.4pl2dfsg-3_hurd-i386.deb
Files:
dff273b4e1f118b803fb50ef66167116 2356 math optional coq_8.4pl2dfsg-3.dsc
5e94852455c26693a65eb4ba1fc0165a 17635 math optional coq_8.4pl2dfsg-3.debian.tar.gz
1f42c30246e991c1497599488622a3d8 3914768 math optional coq_8.4pl2dfsg-3_hurd-i386.deb
9eb49ff7ba9758437c1d9e6a0f4ebcaa 725680 math optional coqide_8.4pl2dfsg-3_hurd-i386.deb
94b96d69b5eae793d013d0988eac1a5e 31275040 math optional coq-theories_8.4pl2dfsg-3_all.deb
bee849b0ba4afd02048fee93344c82bc 1487490 ocaml optional libcoq-ocaml_8.4pl2dfsg-3_hurd-i386.deb
0e6fac6fe97bf7d65a0e75b9035e7b43 3672416 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-3_hurd-i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJSj4QiAAoJEHhT2k1JiBrT3HsP/RPKWPxZc6c28uGFC+Sy8eIt
6878OjvwxulcnOI9Tmvhy10mgKJ2yL91F5gyaIp0R++OeZ0QCU5E5L2JLbcmN05/
QYEDmzxyJ2mHcdGZ4ZMz2SxUHqPFsut1EI4ceu4IzTLn+6onHto5ls21l5D/BFgy
F3DgeKxHikPUG0JUubefjdnzqujtswdmDFxDx7Vk0CTp1yg1iPXn6Bbm72a+E1y5
P07U3OisbO3c/+IrdvdYGI4KWjeXgd1v9axY2kn+wDsZgsLgii5jgR0/3ERYaeHw
ubgYboWK+za4SXyzJV5V2xzc8a6ejekkbSDnNJr4iU7yU9oQsJa2bb1wAW5HzgiH
XhnvJBtCGRpVt9Xm7MPJvF307zdKFESS+kGjd5MRcphDfYvykmcgdCPieqizX/kW
804V3oCg2h7xXtW6jVo94hHIfZ4zOv+zmeqt17M1tYIIb9A3f1FWoN4tcRfFQu++
TALYTRG4Tec0PItD1icsN5AxPvGEuStAGTg16ZfQLhYkY9xGEo887OXW4dJ0i7Qp
rhm8DV67WRvJ2I+Hha4mBC8L/CiGCwGHJ/L5nYsyqd+ClhVf5vWkRX/xAjeNORQV
mxFhriCUp8zfuzAHHZd+DLH2afsc0JqOklW2GGZpB1CngOrYqs7+AwneQ7VpsA01
AEoDoNhRPi+LETrvml3d
=LtKz
-----END PGP SIGNATURE-----