Accepted coq 8.6-5 (source amd64) into unstable
-----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-----
Reply to: