-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 13 Oct 2015 17:26:06 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source all amd64 Version: 8.4pl4dfsg-2 Distribution: unstable Urgency: medium 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.4pl4dfsg-2) unstable; urgency=medium . * Fix compilation with OCaml 4.02 Checksums-Sha1: cae68703628f9ae478e1507c3f6f8439d3f7453b 2374 coq_8.4pl4dfsg-2.dsc 79010e52582f75241553271124360cff705fcc76 15976 coq_8.4pl4dfsg-2.debian.tar.xz 4f0e55236f1f46d7baa36bbad0b1c96f4081b9a1 32172378 coq-theories_8.4pl4dfsg-2_all.deb 4be381c67decc2efe3a8a3bc462751051a8a6599 4094292 coq_8.4pl4dfsg-2_amd64.deb 6018c73b8699020d3cdb9ea70fff64ea597f31fb 799246 coqide_8.4pl4dfsg-2_amd64.deb c4572404aecf48c4f9e0e129aa01b087b64d36a0 3827876 libcoq-ocaml-dev_8.4pl4dfsg-2_amd64.deb c4a6e7bf052da3cb453d773fdafa81fbea7d74a5 1557588 libcoq-ocaml_8.4pl4dfsg-2_amd64.deb Checksums-Sha256: 52a264e1f22e1f37e50ab92ed311f0f05a3365107e3d5944ac5b566008883c98 2374 coq_8.4pl4dfsg-2.dsc 8d24763e8a1f37d47df79c6bab9d88b6bd4e31755cd499f3274336fd958ff37e 15976 coq_8.4pl4dfsg-2.debian.tar.xz bb993c1403578019e8d0791163e590d9cc3ee2708bdda347f97fe5846187fc5e 32172378 coq-theories_8.4pl4dfsg-2_all.deb 5e569279ba586b6af0a7535181c69bff089aedd72b4176d8c3e0190472b289d3 4094292 coq_8.4pl4dfsg-2_amd64.deb f11365049aa61b8a513433828b34438d8e8765f218be771f077de13797ce10c2 799246 coqide_8.4pl4dfsg-2_amd64.deb 61edeafffea5d9c9a9bb9aec8c0fc84f49ab7a347ef02382dcb00bf249db7747 3827876 libcoq-ocaml-dev_8.4pl4dfsg-2_amd64.deb 11b82499d3218ffdb303ac0508e31b321cb61b82f9e6d3f01ae7019ed76ef1b3 1557588 libcoq-ocaml_8.4pl4dfsg-2_amd64.deb Files: 52262c32090f77b25cc137fbef8e955a 2374 math optional coq_8.4pl4dfsg-2.dsc 15ca8069e4fbe4b7ae40dd0bbdac5a2d 15976 math optional coq_8.4pl4dfsg-2.debian.tar.xz 98317fd53599cbe8676a482307ae3b5d 32172378 math optional coq-theories_8.4pl4dfsg-2_all.deb 060d4a4e36f36b3e7cacd98803750ede 4094292 math optional coq_8.4pl4dfsg-2_amd64.deb 28b15d0d988f1530e10108853ee45e51 799246 math optional coqide_8.4pl4dfsg-2_amd64.deb 279426ecd9b443c1c59a78fa5fb2a14a 3827876 ocaml optional libcoq-ocaml-dev_8.4pl4dfsg-2_amd64.deb e784fe846b026b8439dff3adafda33b6 1557588 ocaml optional libcoq-ocaml_8.4pl4dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJWHWGGAAoJEHhT2k1JiBrT7yoQAKDdLgfucxxTD4ZM4iyu6Dxp BcvJ9JGPkEnR6GGJAOetGkoEt1sioZMevyoBlVfKszeTTGr8U2Zr0lMlMKJfY7uO ywn8Ibv4aRbF9md+ATZRap8ythMp6yVr6rIbBa44UhCF0TcDs+pU1CiDtioTEtEQ vDvPhvatY4ArxOfU8VoCa9BQiwp0O7WfPWxaqkFA+coBQ3eXZJ5j2TRrIWwg/1zK x0GMQXVKz2jy9eTTRpgORXk9YbnDG2LFYwRjuoj1xMmYPw/Vzzhj0OWhXZF+2tcH NMyKLVbX3DZXMcwK7+DSmtDsrZ3HhHFHkeKsvrIncUDm0J+U+I0iKBzPFH1kWiwx I6O/ZVXIvd8bC1RkppIVITfFwO+cMXa3md8+C1kwmiAWid8IFMmBrxBDUl9hj0zY npupsayoA0zT3+PrcxdmY9OQAbOZ2UIJ60TpYQAji5Q3Sj74B92kBcRm4TE9XF1k I+dccnRpvQZCu8gtv+mt5Bdj4gu6P/6Wd8ABk/LjH9qJOkxsBtxpPZKPKlQVoD4w G9QRG8R5vTydQXdfhHkwMaZtn48rb0i9myNcb/ofKienDMwDUAjArXCbvnEbJBzY DWPUkvVDRos9LtUM2ERkqLJGJR8W6ZynoBh2fmvNc5JC+0j59+GIai/K4V5792lU ejkabGepNLTLmFyKNw9C =7VOA -----END PGP SIGNATURE-----
