-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 06 Feb 2019 12:41:09 -0500 Source: coq Binary: coq coq-dbgsym coq-theories coq-theories-dbgsym libcoq-ocaml libcoq-ocaml-dbgsym libcoq-ocaml-dev Architecture: source amd64 Version: 8.9.0-1 Distribution: unstable Urgency: high Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Benjamin Barenblat <bbaren@debian.org> Description: coq - proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml-dev - development libraries and tools for Coq Closes: 736761 854147 877938 919462 Changes: coq (8.9.0-1) unstable; urgency=high . * New upstream release * Set CAML_LD_LIBRARY_PATH and COQLIB correctly during building (Closes: #919462) * Coq no longer ships an Emacs mode; users should migrate to Proof General (Closes: #736761, #854147, #877938) Checksums-Sha1: 9bbd3854ecbfb64f66724d1f84ffbf94da076416 2417 coq_8.9.0-1.dsc 3c87729e8528f060bf77994386faafb30180ec76 5395769 coq_8.9.0.orig.tar.gz 14194604881ad111d1cb61d48d6bfb0a8dfa3f6a 27816 coq_8.9.0-1.debian.tar.xz 6d94e4a8b95d18300479e85a88aba3ddf8b8c990 3736676 coq-dbgsym_8.9.0-1_amd64.deb e89f1bc50b17201c8b433ea73a258c11dce56cf7 773124 coq-theories-dbgsym_8.9.0-1_amd64.deb 6ccb1474dfa447143d8d639e722b9a0e3121a23d 29737672 coq-theories_8.9.0-1_amd64.deb 987692ef011f0d65c694bde4bbe66b710feeffc1 14840 coq_8.9.0-1_amd64.buildinfo 7cec356e8f21970af83002cd224e90fe7cea66b7 58990560 coq_8.9.0-1_amd64.deb ac7f216c33ff1cf53ff0239da632274774a7522d 534608 libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb 4e5ad529c09eb21295ce0a479b6d1c4ee71c56c0 13703936 libcoq-ocaml-dev_8.9.0-1_amd64.deb 946676d495835202c8096f47a11333fa78c07248 5463112 libcoq-ocaml_8.9.0-1_amd64.deb Checksums-Sha256: a58269491c02821e38e3bcdf27a706679313b566443118320e3e352019f35a0e 2417 coq_8.9.0-1.dsc 6468ba1b0e5f0168dcd03b29de573be2198e1a2e0311a99f8d418f4d08458908 5395769 coq_8.9.0.orig.tar.gz a8f122b61740f994bcdb3cc5e96cd82e31ec9e8f3d163b7afe546a590230acbd 27816 coq_8.9.0-1.debian.tar.xz 078f00688810975ad8cc3f6fc21524470873396df08fab0d0df0443b9de4d6ee 3736676 coq-dbgsym_8.9.0-1_amd64.deb d1e8749133414ca9e8f94c773d6c1915c30d93a74633635377605f549c79b143 773124 coq-theories-dbgsym_8.9.0-1_amd64.deb b08ab391ee8385f82d4f25c0edcd2e974ddc4385497afb39c027202be4fefcad 29737672 coq-theories_8.9.0-1_amd64.deb 16f3bad4dc04e2740e937dadc20d351130c6fd17ad101194abf9b859986c0da7 14840 coq_8.9.0-1_amd64.buildinfo cfa6621744062e4c39a9da4d4beaa15e7af8bcb571f75da71c67040f51ce02c8 58990560 coq_8.9.0-1_amd64.deb 1ec5e056d451f08b6e77b3fea84f66bc7b4647ffe339907ccd7613ceab3b68f2 534608 libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb 380b71f424d119587d5387055ae272fe33cf187f4c84fc5131af659fb659e474 13703936 libcoq-ocaml-dev_8.9.0-1_amd64.deb 589531afe8e00fd3f711d2c4d5eed9003f9c4f5db197132f0160e8f24ff43d59 5463112 libcoq-ocaml_8.9.0-1_amd64.deb Files: 77c6f5e9b407b3e50e0d82c9138225c4 2417 math optional coq_8.9.0-1.dsc 63e06c572a4503e22c651ce8b0237efa 5395769 math optional coq_8.9.0.orig.tar.gz d5d3dccd2c2f9cbe26c960d237c7c86f 27816 math optional coq_8.9.0-1.debian.tar.xz f4227aba29c9739f9160f3c796cbbaf7 3736676 debug optional coq-dbgsym_8.9.0-1_amd64.deb b76f44b05cad6c8ae1a5b8e26f67d401 773124 debug optional coq-theories-dbgsym_8.9.0-1_amd64.deb 4d964a8bd41293ed31a8786ed3704545 29737672 math optional coq-theories_8.9.0-1_amd64.deb 0a768225c05178bd5d840be593f93c79 14840 math optional coq_8.9.0-1_amd64.buildinfo ae022e4a30565deffd948b4362b51aa9 58990560 math optional coq_8.9.0-1_amd64.deb fbba6c58805cce2457f28a746d818d9d 534608 debug optional libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb bef748649db0e9238b454381879e938b 13703936 ocaml optional libcoq-ocaml-dev_8.9.0-1_amd64.deb b9c6266293f7dacfea80127efec10960 5463112 ocaml optional libcoq-ocaml_8.9.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlxbKOIACgkQ5ZUVm53A 7cMM5w//fIbbLlZigMgzjtmnZbKASwIyT+6lVgj3pWwH4OH2bz71TxHIO+/rT779 oL1CpD3VrwyvIykhwXxe2g4mDfmeJkCRyUFea5OvxdwfrCwxX3NZAee06KVdwfX7 8Jyur/wXr59TgqK3/M+laZJNbeADhBQ1RGyHSp1YgGf/EutGqIL6thv2kJnPW7zW ednbFhcXH9pu0S8r59nXAhxZ30PPoDY5IWOoycakx98I+NALqicedlO4ynlgnX6G nYJygYi8k9TLzNi1z3FC5tKx3uqoFfMWimni7leyxP5RrPS5HExPCH5fjNBMzAby ZX8h8K7618iK9T5lgNrsobj+RBZi8+wuqCm3XECNxvNH61riyRWc4tenaMb6ahch 2lwt19j32/G31mI22mhW1/RWEiJeAJljZRbL6vbFIrKsOcHVPFSCf7owghNDzsMh xkMJ4Xq1HamhPYE5zM5lhs0JWkQx91Cxzdbo6suEZeo1dBc4RTIqdTZKs9MTBAKX IZXNQLswHbM/+LGNaHZAcXvXrOEWCGd7amdwGXL+UmEWxaeWye4N0SiKY9Z7Hl/H GOk89VsH/LTonK/3vKFjMR+hYKQUaKdxSUWMpU2OyV7oxMtQOA1RkRwORn0l0zV6 CTxR33/oN4/RbMKpJLRAGqfxEJY87U9/6snewoZnX+jw6G/YpqA= =bjE1 -----END PGP SIGNATURE-----