Accepted coq 8.4pl4dfsg-2 (source all amd64) into unstable
-----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-----