-----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-----
