-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 26 Sep 2017 11:08:52 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 Version: 8.6-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@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-5) unstable; urgency=medium . * Recompile with OCaml 4.05.0 * Remove unused Lintian overrides * Remove menu files * Update Vcs-* Checksums-Sha1: e7d60bfcb342f7192769d6751dd672ee9de56208 2411 coq_8.6-5.dsc 0d42d137dc666c9b6d7af5440cf4da73e8bf6a16 21784 coq_8.6-5.debian.tar.xz cafd986121bcc978a06e537a3fc82d70b5b0b384 1939732 coq-dbgsym_8.6-5_amd64.deb b87b0107efb508d4ea9c57b01cd3e44c77fb8baa 862330 coq-theories-dbgsym_8.6-5_amd64.deb 060857e1de2da4818b542d39f9bca4b6c023accd 33427214 coq-theories_8.6-5_amd64.deb 63aa0d22e4d4d77e005403ef554c3673c643bb87 14852 coq_8.6-5_amd64.buildinfo 855b81a04361ae01d5546a9acdadcffcefbd48c8 17741728 coq_8.6-5_amd64.deb 947006ed85a467973ea7861cbd4d41f291c63e5b 458052 coqide-dbgsym_8.6-5_amd64.deb 8385feca559f0b9235ecc53f010d9ce4192b9eda 1606782 coqide_8.6-5_amd64.deb f4deb953aea19cbb1cfc9981e92ff888e45c1233 370268 libcoq-ocaml-dbgsym_8.6-5_amd64.deb 8e38a3c6056afb3297af3bf41d79eca0ad9d8352 113496 libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb 55703f1f5675102ca508ee7ff7d617d2638f8315 13874690 libcoq-ocaml-dev_8.6-5_amd64.deb 3b4988d099a0708a7d2b99c9c3776a1b302102f7 3647208 libcoq-ocaml_8.6-5_amd64.deb Checksums-Sha256: 035acadb11f9d20c139273e097ffe5107f4701bbc51bc7a21cbd218a28bcacca 2411 coq_8.6-5.dsc d286cf11ccc903f92e2999c9a45e51947a8f364347dee5112aff26d7db21f923 21784 coq_8.6-5.debian.tar.xz 1e24c1ac45f1416d685dade14aafb721bdb14a0e716db676f2c2da54eb26e27d 1939732 coq-dbgsym_8.6-5_amd64.deb 4a43f7dab6f81ca22f5e60220f97668db5c18b7f5ff03cb55a0ca52d714cc192 862330 coq-theories-dbgsym_8.6-5_amd64.deb d34ebe4ae1c295c7f81341651e6a5c8cc303c22dad69bbaed13c0b3748df9acf 33427214 coq-theories_8.6-5_amd64.deb 68f5529766419df907c68af042391079fff9c8e1a8b27219d0e48c0fc7d5e0cd 14852 coq_8.6-5_amd64.buildinfo f1047da8be85cac3ba4587ae54e0ed07c79a7bd9bd3544eaed757e4f80ef1fc8 17741728 coq_8.6-5_amd64.deb 9d58f1a9e9d90e55d024fdccb0fde60a30ea37f131bac78d4e69e13d01717697 458052 coqide-dbgsym_8.6-5_amd64.deb 01966093bc4e3f677e8e228d1ccdd65c0a7c0e6bc3a40ec0fb2c007015a19f54 1606782 coqide_8.6-5_amd64.deb c1da0109ee14901bbbd9a2feb969b5e7b69969e7466b4ba842d3658a35212021 370268 libcoq-ocaml-dbgsym_8.6-5_amd64.deb 1f0ce85ef820bfcac998dc4152b6049e4bcfe314b24a2f80f40ae5c93f2f887e 113496 libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb 8a7eae5ef10fc061fdfd8b11ba545ec59c8f321df27dcc37cc6001d6b7c668eb 13874690 libcoq-ocaml-dev_8.6-5_amd64.deb 57920522cd10533dc2c6a53eb0162b12bcb92493ee4b8ae3cda8e65798d64d97 3647208 libcoq-ocaml_8.6-5_amd64.deb Files: 8198e029349e8db7e9bb451f4e7c577b 2411 math optional coq_8.6-5.dsc d9782c8c4e9c1d5947a58900f0270cb7 21784 math optional coq_8.6-5.debian.tar.xz 1b157f1bd27af87cd134e7f814e57a90 1939732 debug optional coq-dbgsym_8.6-5_amd64.deb 7593a767252eb96f47d2ed60ef66f24c 862330 debug optional coq-theories-dbgsym_8.6-5_amd64.deb 93230a4f5a4a5ec595d318906f90acd7 33427214 math optional coq-theories_8.6-5_amd64.deb 1db6244fcc5b086084fe967148f471b9 14852 math optional coq_8.6-5_amd64.buildinfo 14c7f23d85caf8bbf98cb7b966a60168 17741728 math optional coq_8.6-5_amd64.deb 3db2b99bf68cc3faf2813bbe78d85af9 458052 debug optional coqide-dbgsym_8.6-5_amd64.deb 7568d22d42bc7b1ba44486e34a51d27f 1606782 math optional coqide_8.6-5_amd64.deb ce7511f281ae6ca71140f7a61d2e7482 370268 debug optional libcoq-ocaml-dbgsym_8.6-5_amd64.deb e8ce7457cfe4b1d82e5ac009f9e863f1 113496 debug optional libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb 9c88a6b85d994279ac5882270f56f814 13874690 ocaml optional libcoq-ocaml-dev_8.6-5_amd64.deb 0d6d9d9e7b315ff79fe2a8b9228b3d8e 3647208 ocaml optional libcoq-ocaml_8.6-5_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnKIzkACgkQeFPaTUmI GtNsMA/8Ch7geTVRf6r/iKDIYwztIJwW7AFr1a+93D9lmkK3djM3QnbASNk8vmzz oPfWehHAqVTo2RJie5+JIu8G7QBLq2vaA6G7/K6BxQmriN3aRgOqJhyR2FX2ndV4 XhDdfj+2wUnkYxL6SafNIHGCXQobYZkjjFKDJQs1q7h8Gru92rlNvY3uTzOScwAz lCGaLlAE5zva9esxWJSl3ZuQFQTSO3nO8sf9Ps+nGNDNgBtwCkYxLSoBpe36rQB3 6e++v2xqZrTUwNRgAJoIQ/PHqgbqq9Q//TmOMdNdGh8yLxqTML3tBNhG8qDOP8Kz sO79AauJA8cfSzYIVI8Zc61J33oWE0X3gZpyRpdyMbRCzGX1/E5bxePTCNdc20Z7 vuv44YcTOLAk2+sAarAZeBtafaY8Xh6Hr3EjrfkLIqK+7EXV8oRWXWwYHKzrmjbI yXgbN30e4VsVS3DqVhzIMeoI2ZW0fP5G/mvotcAFFCCqFbJue5wBc1lVIg8RQIYh YxUyfZHZL7W6GjAEMW1BhB5rZ5b0J7mGdKHbFod6L2P/aTmub53uvBYkdLv1VkWW trhbeunVcfeQliAE0DyCuzoYR281PZ3Xk+I5n6d+/1HbOmr1qEbb2Eo8b3hXhslA dlNHD/M9g0/7LBwYpqPVEtFbhggRoAPvhfrvOzADSQ9hZUeskwc= =6LHx -----END PGP SIGNATURE-----