Accepted coq 8.6-1 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Dec 2016 16:53:39 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.6-1
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-1) unstable; urgency=medium
.
* New upstream release
Checksums-Sha1:
01e6faf99b405923c070470c770ca73408de9f6e 2396 coq_8.6-1.dsc
a2be8c6f6552e89e538631999dd6eddaf4257aeb 5008604 coq_8.6.orig.tar.gz
c12220dfdbbc50e77a3729ad14ace70b808af4f4 16732 coq_8.6-1.debian.tar.xz
54a6358de1e25c1cd790a74a390441478b8afde1 1374602 coq-dbgsym_8.6-1_amd64.deb
6c1bf368ba823392188ca2c21a04b67fea43623d 875406 coq-theories-dbgsym_8.6-1_amd64.deb
ab96a1e636e79d8e9c3e05e0919506a492f3a0a4 31442596 coq-theories_8.6-1_amd64.deb
f1bd0d500e4782c575c89b9f3c846530b03f1a74 13746 coq_8.6-1_amd64.buildinfo
4a2273db59d0d70da14b4c0994c17d20cbfa4cc4 13950056 coq_8.6-1_amd64.deb
8c8967e9c9f22b3e03e591737913c38fc2893e22 367904 coqide-dbgsym_8.6-1_amd64.deb
6bc8445f5debd206d376cd78119bb4d2a1ee6022 1403996 coqide_8.6-1_amd64.deb
cdfd25890bfdbc134868365c4626f5b072ff2787 265880 libcoq-ocaml-dbgsym_8.6-1_amd64.deb
8a42464fbe043558d2c694fc962faacb64b500d5 81568 libcoq-ocaml-dev-dbgsym_8.6-1_amd64.deb
651486ba0e2d3a3fe181fa52dae3ac29fa39f993 13290324 libcoq-ocaml-dev_8.6-1_amd64.deb
6013fdf39ff27abf6f29442b97b1f5c6274b1e8e 3501414 libcoq-ocaml_8.6-1_amd64.deb
Checksums-Sha256:
9a4f61d9cf80f9c30b3416b82fd3471173466a2a9eb1d13e31774a3c7f702161 2396 coq_8.6-1.dsc
0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b 5008604 coq_8.6.orig.tar.gz
bc56a1ea73476884d2251388e3abe8452122ef165ca6ce1a9336d4d0b66f0584 16732 coq_8.6-1.debian.tar.xz
3d84ea8187ae57bd3cb23839f7d91596749c6481a29d56332f7b83d96af497f4 1374602 coq-dbgsym_8.6-1_amd64.deb
fa472eb0ce24a146c04bf3d6e17e812e1f6e5fb3f984c04e2d9d849a278bafde 875406 coq-theories-dbgsym_8.6-1_amd64.deb
480f4a2e334404ba39c9e9216c4accee91014cd132a307301a95a063929b6725 31442596 coq-theories_8.6-1_amd64.deb
d3ecef5bf219314db6d2eab410d6c8b2496e73d41524c91cd17f133455db946d 13746 coq_8.6-1_amd64.buildinfo
9dd8e96ad069aafbf1f2205a19c13ff0fb921f771fa7abd5bc5f41f4e8f66c00 13950056 coq_8.6-1_amd64.deb
fe04948c3866301c545e6e2aaecb3bde6278d677a9636d36447ab3f2dc5886cd 367904 coqide-dbgsym_8.6-1_amd64.deb
783a704733495ed3897e0d8515aee395cbf8464553b6d0f79988f4ac4f4b2ecf 1403996 coqide_8.6-1_amd64.deb
86ce17a4f96acee060a005809577f3feea6e0258deb0e90189e5bf877ab8f168 265880 libcoq-ocaml-dbgsym_8.6-1_amd64.deb
0a96ed181be8138a0252e54b15dac70f783df54c7ace927b26df3f04d17840ae 81568 libcoq-ocaml-dev-dbgsym_8.6-1_amd64.deb
e854728e781be76b56bf15b202a7dc04bb5cf20d4003e92a398f8d2c7a27449f 13290324 libcoq-ocaml-dev_8.6-1_amd64.deb
c1e950f9f7347c06fffe4dbf04e59c4b555bbaec0ab8ab4fa051c5fe22949f74 3501414 libcoq-ocaml_8.6-1_amd64.deb
Files:
6bb624a8f271a1c1372496fa86d94bb1 2396 math optional coq_8.6-1.dsc
6449ee951a4ed1c7e03adbdadf36e516 5008604 math optional coq_8.6.orig.tar.gz
ce662bb0927c7ecb0281fb1129c284ea 16732 math optional coq_8.6-1.debian.tar.xz
b5b290bfa3e1628327a0b73e3e81face 1374602 debug extra coq-dbgsym_8.6-1_amd64.deb
02a4798dff8539cbd373d3f35a9ce1b3 875406 debug extra coq-theories-dbgsym_8.6-1_amd64.deb
b15e9c0822be49877105a9bf9b1ba585 31442596 math optional coq-theories_8.6-1_amd64.deb
5f07a3e2153e67cd279e2173ec9c591c 13746 math optional coq_8.6-1_amd64.buildinfo
f6260ab79d6b667f4c5ee9657e200f1a 13950056 math optional coq_8.6-1_amd64.deb
7ad153f6c10365fd670702bef30f71fc 367904 debug extra coqide-dbgsym_8.6-1_amd64.deb
9ccc49b990d8d88c74c29185309b8195 1403996 math optional coqide_8.6-1_amd64.deb
cb6d3c5823d8ae022df3120031035203 265880 debug extra libcoq-ocaml-dbgsym_8.6-1_amd64.deb
b0bdef2f5785d6920c52e91ef4239a9a 81568 debug extra libcoq-ocaml-dev-dbgsym_8.6-1_amd64.deb
95af700dbd1da2f87b2df1a79dd913ba 13290324 ocaml optional libcoq-ocaml-dev_8.6-1_amd64.deb
88a1068ae8272fe1a360d906898c345d 3501414 ocaml optional libcoq-ocaml_8.6-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJYY7tNAAoJECUFM8yim3ZPE8oP/jkl5+gloqUteBDovnCXt5qs
MQCclzIYOcdOgGW8uyDqD9LmISo1dnem0DiKNq+016Bphg6GJ9jTrf6XUZElCYTF
ZsyEVDHW0vPPpvw6ZTuM/nGV6mZOHzq2vVcLGFqR8srHDti0BX7DdFodE7Akxgqp
jikYpDPD56fNBW9a9Schts8VdJ8KAUG8GLrzLSvUM4svHo8yqVGnhsfG8JtIWSDz
1Hn9+g0zrU1eGquodlUJqrflKc+4hTAnHUbM4L4wV8PT7v3TZT4r0/5Op9hFJ5WM
tRfJCaGGXTKwAxP74ssKu/C6vVxzO2fA5qAo+ILWYA9SkgIk86YbUDypXTzKE9Ah
YIbKRmDU9AC3u2yQH9EfCJkh0kRv5okSEZ4OLun9cPjSark57xHlIBl4LuWeT2Zk
4tNgYN6K+63WXvzaexpRA7XQG1wEmpi8t7B2xKF/QllAR4B/t1b3gxAlPix3c9VP
+zlQOpBErwFUu3XboX3OFIlpG7nzw2gTH4+tOJMdX0zcozJsvY/n6I+T/Moknkss
hvS/FzxJV+EJCtz0LwD5uxRulyaPn8Xa5squsCYrfA0hdnywiLnSmKhqrx5u5UnP
/l5as6vwrYPyDj+BwvUsrAEHi2SN0vqmL0nyDJmU7+htATv9yMK0xrH/vlTOzXPE
eID80mtUoLGN5dRhSy9K
=Zhxs
-----END PGP SIGNATURE-----