Accepted coq 8.6-4 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 29 Dec 2016 23:45:47 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.6-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@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.6-4) unstable; urgency=medium
.
* coq_makefile needs ocamlfind in order to work
Checksums-Sha1:
5807fb325ef6fd3748a01402a9bb113aff1e56cd 2396 coq_8.6-4.dsc
37b090e08d9f7faad5885c6ca48ed1c05435c29a 21972 coq_8.6-4.debian.tar.xz
6ec0459544c13be24b9df41ea92433c8201fc55e 1391500 coq-dbgsym_8.6-4_amd64.deb
6f40342b0c957cb7dcb9a7de47efc0f2250cff55 877204 coq-theories-dbgsym_8.6-4_amd64.deb
54d389a75b77c01668378529acfba9885e970c53 31441296 coq-theories_8.6-4_amd64.deb
47030ef6e69d52c82333b35e29e88203cf0f85f4 13746 coq_8.6-4_amd64.buildinfo
1575f63338a2f94aae409dd733c7e419fab18d58 13953402 coq_8.6-4_amd64.deb
e00591707c7ef27ab01f646ac599c207ce8e17ff 365846 coqide-dbgsym_8.6-4_amd64.deb
9045a4ffd366c0db40af98c2d53735067ab5f6e9 1406016 coqide_8.6-4_amd64.deb
04cf4cc39de417297bee5dc7cfcf4475e420a3c5 265466 libcoq-ocaml-dbgsym_8.6-4_amd64.deb
506616ac9034ad246a358a5689bf083e4823d923 81748 libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
f7a8f35792b45db661bb85662139f2779607080d 13289600 libcoq-ocaml-dev_8.6-4_amd64.deb
2aca9ffdbcfcf99176ce51e0f64ea7212d853509 3502166 libcoq-ocaml_8.6-4_amd64.deb
Checksums-Sha256:
ab90d491fdfa298fb4f06804dcb02acc4df59374f061b9c4aaeccb8d8453efb5 2396 coq_8.6-4.dsc
06e9cf81c5738456ed0289454c09b1ceb975a75988e373b626392274acdd176d 21972 coq_8.6-4.debian.tar.xz
ba5830aa0f46fb8a495e3b6e8308653d3ff95159e5d596138ee27c4e9f1c263f 1391500 coq-dbgsym_8.6-4_amd64.deb
be5172624c47735066e98ccae43730b679b3cbb39153fb435de7cef3f800873e 877204 coq-theories-dbgsym_8.6-4_amd64.deb
bf308eea0a2af856d6498ad34818a1d86715d9f57550486872fcd7f9125942a9 31441296 coq-theories_8.6-4_amd64.deb
a75f98cd3be326df768360069328d257a35abebd5e0915135045b0d0fd60b6a2 13746 coq_8.6-4_amd64.buildinfo
7578534f25daecf0a9f88855e5b99e4d64015dfeece0f16dd7a47f2e7ba33b35 13953402 coq_8.6-4_amd64.deb
9a7f3e38bdea0e9eaaa02c7d0bcef1467306fe7549ea05e66e558274905597c5 365846 coqide-dbgsym_8.6-4_amd64.deb
2da39f6fbb5e781c60f180d70e010527aa9b49d100c2a83b2ccbb63f1e31dab0 1406016 coqide_8.6-4_amd64.deb
1df1c4355c2018335d5ce3f38a99654ecc5e860459202a39b39bf23667f87626 265466 libcoq-ocaml-dbgsym_8.6-4_amd64.deb
1d8975a012e3ac2b168ca5c7c44c75f4dbb2df1511694dff0a0c7529dbe8880f 81748 libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
5e2c44c912fb7688c821fb4b42ecd272b6a64840e705d59b7e468fc9f4481e9e 13289600 libcoq-ocaml-dev_8.6-4_amd64.deb
1326780628bb77e245969e6d6cba0c5bf1afa05f925c44f34f9351cccc9fa076 3502166 libcoq-ocaml_8.6-4_amd64.deb
Files:
643e70654a353d9ffb111724d5ea21a2 2396 math optional coq_8.6-4.dsc
6e0e5e972cb5809c9e6a853f51646e1c 21972 math optional coq_8.6-4.debian.tar.xz
4643db3bab5341904f10839dff61651b 1391500 debug extra coq-dbgsym_8.6-4_amd64.deb
18afd9f89f9d5b9f3fc3c3ddc1658f50 877204 debug extra coq-theories-dbgsym_8.6-4_amd64.deb
ffe50b8a98424108ddd6b02d607d874f 31441296 math optional coq-theories_8.6-4_amd64.deb
2fc122257d6af62309ed9551fafe4d40 13746 math optional coq_8.6-4_amd64.buildinfo
9fdba45ef4dfdcb30016da5efa3ec7fa 13953402 math optional coq_8.6-4_amd64.deb
5cab3ed0d8052b7a81be31e850b1f8df 365846 debug extra coqide-dbgsym_8.6-4_amd64.deb
b28148d0eaa2575873a64a63c0fdecd5 1406016 math optional coqide_8.6-4_amd64.deb
1acd7cd5104f0c11058116fc76ce3490 265466 debug extra libcoq-ocaml-dbgsym_8.6-4_amd64.deb
7e71decfa008bf92d52b72a2a1fc0e21 81748 debug extra libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
0d7ea8d1999e62460e48c81cfc55a466 13289600 ocaml optional libcoq-ocaml-dev_8.6-4_amd64.deb
17361518faf310b3fd42ee73fc34a1e7 3502166 ocaml optional libcoq-ocaml_8.6-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJYZaPzAAoJECUFM8yim3ZPguEP/3v0eVU8QtTWaS1vd5MJKE4C
Tl56e/nlgj5epCT/MZpMbtKpy8mVVVx1Uyi4UkfZ5CIf93uOID3hVjn7OBBplrfC
S/MEQbaPj2FIHjVAxAEXxSj6YqdUJt4nFvJ+CvDddcCn2gO8lfJIZXsN4IjLiCKR
RLRFM67GMEbugCFwUqGmufw5ncBd6B2gKJb7Vd7npId+xGpNyMwhOvR2azCcmbKF
NpKMEtv1lxdhwGFamcrZZSKBYZGSoOiSNr4Hw7Sk4rjyASu+dAwtnVMgB8bGhe9d
jyeamy3gqQnQnUXfmRbSG7Y9uAJxxRpAZ9NR9ol/dfHAfbm5BnejzZhRhosajWPh
KZoGcCdSG2V6BcDPNQ7d+ZEGZVexODSHqItGIzCJ6t/CqrN9c0MbYM9sOpDFnkKh
bKTOaCh0OcMCkym9ezlBnZtXkUDX3A6o7DPy7fTXavYbBUiCWtwsknL5m9dQcU3i
iLaIShQCERWSaOzU496uOaXxLVKo5LVzZEJv8HqSnA21yrXgq8xFy9bUQgqZXd43
8o/gld4ldrdL/UJ5bZHrK8AIlubgaJPJ0qKpEzypPL2lMGX4GInf3N0jt3cpK9aD
UwU54XG/LQ+uI9sGNz5b6TqiEwdFFr8NS79LWq6QrRQ5O3MUIG4Rq+ab0dVTKElV
BSHqmcPDK9oDWZKgESQG
=3y7p
-----END PGP SIGNATURE-----