-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 14 Jan 2012 11:11:48 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4~beta+dfsg-2
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.4~beta+dfsg-2) experimental; urgency=low
.
* Fix a typo that caused decl_mode_plugin.cmxs not being installed,
making coqtop.opt useless
* Fix an ordering issue that was causing a test to fail in bytecode
Checksums-Sha1:
7f90c260cc5f064855b4529461315965f9aacd0e 2350 coq_8.4~beta+dfsg-2.dsc
e7e118d69946cce4d04b101623a2908bf63b8a04 17098 coq_8.4~beta+dfsg-2.debian.tar.gz
ac06e631e3fe7ee42f1fe35fd65675f7ccc4b7cb 5972322 coq_8.4~beta+dfsg-2_amd64.deb
3b7b85d9f6937005f76d0d8603fbdce51526b674 1053746 coqide_8.4~beta+dfsg-2_amd64.deb
ddd6b01344ff67f30e4abfb46538c774e994c98a 65123928 coq-theories_8.4~beta+dfsg-2_all.deb
fc01a36e8cec746b55f6d91539d47a84f42284e4 2313008 libcoq-ocaml_8.4~beta+dfsg-2_amd64.deb
1d1e3fdc61a163bd06da26fc42887ddbcc76a263 5691026 libcoq-ocaml-dev_8.4~beta+dfsg-2_amd64.deb
Checksums-Sha256:
ac17277809b0c07e59993d7afa32fe8d7137b71661d5586615def31890774b97 2350 coq_8.4~beta+dfsg-2.dsc
5f34089d12523fc08a20a7a8701330ecae4106606c8737c9551e753068318d26 17098 coq_8.4~beta+dfsg-2.debian.tar.gz
650a3803ec05ae90e1da9514099d45e4aec311f9ea8284344802aa0cd58a55c6 5972322 coq_8.4~beta+dfsg-2_amd64.deb
790d7a055ed023103ba9f26420faf9caf7f61862be5d4f952db009ddf50bd995 1053746 coqide_8.4~beta+dfsg-2_amd64.deb
6393e7168786125c458b0f12c6810ebfbc1fc89e7dfe9daf54a07fac96360241 65123928 coq-theories_8.4~beta+dfsg-2_all.deb
c9d176a8aab0d71af21ab5d0765d8860962e34f45f961902b1bdf713977f3d44 2313008 libcoq-ocaml_8.4~beta+dfsg-2_amd64.deb
33f207e9b6321130aa3ac44ffaf7d84e195117ecd2cc01c9e911e3bdd84ee6e1 5691026 libcoq-ocaml-dev_8.4~beta+dfsg-2_amd64.deb
Files:
70b424fdeddec68e130e27b9933a52bb 2350 math optional coq_8.4~beta+dfsg-2.dsc
5b7579596f7592062d2b6ff908b8c668 17098 math optional coq_8.4~beta+dfsg-2.debian.tar.gz
124ab765db841729705c31e5805f925c 5972322 math optional coq_8.4~beta+dfsg-2_amd64.deb
008349dce598430bfe99e3e6c4c0b779 1053746 math optional coqide_8.4~beta+dfsg-2_amd64.deb
c80d0f8f43e74f674fd8681e3757ff28 65123928 math optional coq-theories_8.4~beta+dfsg-2_all.deb
39a8c4680892042012f1836a244042c3 2313008 ocaml optional libcoq-ocaml_8.4~beta+dfsg-2_amd64.deb
3c26ba0fd1ab4aabcdfece41244a08c9 5691026 ocaml optional libcoq-ocaml-dev_8.4~beta+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPEV9FAAoJEHhT2k1JiBrT5EEP/2yphLQncSUgbul7Se4mJq34
syWaqxjRI5xqxhjseDBHnMVUEc5cJH5RnVYGX6ZSwdtAWl05jYnIALr05HmOJXok
CyIJRDiTjCXMq1hhJ/eD31+vD1effuUmRZ+d/V0EeFiwasouUXZ3R6YQQxHCNp80
2wQl+WqZV4NOi2OWLGEGws0XQDMMXueckuPd2Yd8YTgWW4FlY01H0EP4D+NaG6o+
b7YL9gs7wYf98yXAeQT8LZf0AXRaehx1GlZSKei8R3AdrsOrTaaRNZynQbRj0XNS
pydEJ9028X4a/LZCzZGNt6PJA3J2o4PMNSLGCMKZblOLeelSbcIgtALV5bgQbRSU
AZlPy2d6nXLJDBPvWQ8EKlXVH0vxgz5kleMHb6xBfPVzi8fwc2Z50GAAAdXHX8t4
zkNrvzO2HGnWi4YUr0mS5FZo5AylUn2LFsF9qdADck66dlHoJc2TxoM0/HvCQKIS
Mlo462Ff03t2kmcCIP/2ICaRsPtUgiPn3Ue6L0nQghrqLoW1ffDCpktKj/t123nC
NpHPSvqeNFGmrQ2ieZgnCY62lD4yYQc6mN5m7HkE8szsHFDlJbXXrecNR209D0rO
GL4oNJgnJDzzxmY71NzMZBon8LpOheQX7ehVxryz8QS532yPLaUFhmQHyZzXpNKs
YVOO/mWa3ErsOF5rSEUa
=YTCr
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.4~beta+dfsg-2_all.deb
to main/c/coq/coq-theories_8.4~beta+dfsg-2_all.deb
coq_8.4~beta+dfsg-2.debian.tar.gz
to main/c/coq/coq_8.4~beta+dfsg-2.debian.tar.gz
coq_8.4~beta+dfsg-2.dsc
to main/c/coq/coq_8.4~beta+dfsg-2.dsc
coq_8.4~beta+dfsg-2_amd64.deb
to main/c/coq/coq_8.4~beta+dfsg-2_amd64.deb
coqide_8.4~beta+dfsg-2_amd64.deb
to main/c/coq/coqide_8.4~beta+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.4~beta+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.4~beta+dfsg-2_amd64.deb
libcoq-ocaml_8.4~beta+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml_8.4~beta+dfsg-2_amd64.deb
