Accepted coq 8.9.0-1 (source amd64) into unstable
-----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-----