-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 29 Dec 2016 08:58:35 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 Version: 8.6-3 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-3) unstable; urgency=medium . * 5127.v fails on mips, disabling Checksums-Sha1: 0cc7cda9e554e328a67f7152e2aa3f9fe0204392 2396 coq_8.6-3.dsc 5beb93d6ddfb028e031228fe80993bcc1a0ef40f 21924 coq_8.6-3.debian.tar.xz 24b746d475f2eac85f412c5fdcddd893b41887e8 1382660 coq-dbgsym_8.6-3_amd64.deb 319288afebb385ffb066ea6d039daa62b8585532 874736 coq-theories-dbgsym_8.6-3_amd64.deb f852113d46849528eacf2a4c4d4e98a4f7bdc17d 31445794 coq-theories_8.6-3_amd64.deb f13838a242bfa5ca8cfad500aea8011b985eeace 13746 coq_8.6-3_amd64.buildinfo 0ea779f3b9e14f3c5a1e1b4fdc7e186cb1860920 13953940 coq_8.6-3_amd64.deb 441c2303d04c2c8532683b57366e3c785e8324c1 365444 coqide-dbgsym_8.6-3_amd64.deb cad77d0d513664fac12604c509d5d2c819466abf 1406168 coqide_8.6-3_amd64.deb b3955bcd31886aefa7ffb1d3b726da6f71f11839 266248 libcoq-ocaml-dbgsym_8.6-3_amd64.deb 746182d6b725ecc98bdc756f87d7455e91e3627c 81620 libcoq-ocaml-dev-dbgsym_8.6-3_amd64.deb a3538a5abda78b6260781d6e24fcbd8a2519b27e 13284394 libcoq-ocaml-dev_8.6-3_amd64.deb da17551df335ebffb7f248e84828f1b5ba6240dd 3500878 libcoq-ocaml_8.6-3_amd64.deb Checksums-Sha256: 15841864c1d2ac6411581604f6c0e1bee3e80345a43625c71f7d445a25b1da6f 2396 coq_8.6-3.dsc 902450ff8f706a640fbc909efa284d4a9cbcec368c56a82f748917c0c0e6d872 21924 coq_8.6-3.debian.tar.xz 66f3ff1afcaae8a2e6388547fe60c3974a4684ab073da44311621724b9d48085 1382660 coq-dbgsym_8.6-3_amd64.deb bf01f81124dae8a8be826c1fbe03a6f51920608bec5bbd78c45e23fd5037aa12 874736 coq-theories-dbgsym_8.6-3_amd64.deb c81df50badc4539d5ee98bbd0f6ad2e0af24770ebc190c21bb04daf1232fae73 31445794 coq-theories_8.6-3_amd64.deb 17db73593511ab1c97ad9f200e41cf1e200dad60aed7ef467ac32338e9789663 13746 coq_8.6-3_amd64.buildinfo a6c4b24ddc02c29471f3c0452e950387595de55d0d74b299ceb63012324ddc00 13953940 coq_8.6-3_amd64.deb d75ffe8815139b6e9929fa0b4fba4d576118fc66a24d3160f28dab1638e497b7 365444 coqide-dbgsym_8.6-3_amd64.deb 4da88b663466c57e31d9389d6b5573d94827277ab5dc2ee5f9485ea98fb02812 1406168 coqide_8.6-3_amd64.deb 760dc93ff4b25b86141838d02c17fe8307cd13f0d63b33bb94bb07052e9c2df2 266248 libcoq-ocaml-dbgsym_8.6-3_amd64.deb b29e8fdb17045b7dace559fafe8a65e9f8baea4ce94ddc8de8818148b4b3af4e 81620 libcoq-ocaml-dev-dbgsym_8.6-3_amd64.deb aca68a127d43b74b12af404d6aad2c9ecf5473f0471024437d27531e8d6b65f4 13284394 libcoq-ocaml-dev_8.6-3_amd64.deb fd8bd3b2f3a38948ec1c98789d9a8ce3f9769708c497cc028295aa7859b2fec4 3500878 libcoq-ocaml_8.6-3_amd64.deb Files: 9d76ce54da3bbf55c763974d7def46a1 2396 math optional coq_8.6-3.dsc b55f85d05d1b574c9af9df8449701920 21924 math optional coq_8.6-3.debian.tar.xz 4ecc875d7210e697d9c881e983d3109f 1382660 debug extra coq-dbgsym_8.6-3_amd64.deb 6b4cad81634fd8265c215470ede6134e 874736 debug extra coq-theories-dbgsym_8.6-3_amd64.deb cde4378c61808c4077303376060e80a9 31445794 math optional coq-theories_8.6-3_amd64.deb c0af9631f5622374aa475127763c0010 13746 math optional coq_8.6-3_amd64.buildinfo b8adcf918972fccaa4da71a0061bed15 13953940 math optional coq_8.6-3_amd64.deb 60b4f7efaf77d2bf7b4529ceb89bb925 365444 debug extra coqide-dbgsym_8.6-3_amd64.deb 2b1149848222dc256aeedaf2a8ba9148 1406168 math optional coqide_8.6-3_amd64.deb ba8d49cfa3e7c5943b780183ecc33d5d 266248 debug extra libcoq-ocaml-dbgsym_8.6-3_amd64.deb 67732716fa619a212d4e661783a6b052 81620 debug extra libcoq-ocaml-dev-dbgsym_8.6-3_amd64.deb 554f3ea801ec52ed38455978005c790c 13284394 ocaml optional libcoq-ocaml-dev_8.6-3_amd64.deb bf526ce4914044dfa44f6a78e9b5d7cb 3500878 ocaml optional libcoq-ocaml_8.6-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJYZMqhAAoJECUFM8yim3ZPShQP/jeEZYwjvctmigsFViHPEjSr i5fv7p5+zCBh2oE/ungs8+bpEoAN4HACc7Za36Lr5jLSaYKQwc5NVN0JjmJl2qMy CB3dzMZArpWpqAzf1y/wFoW8ZGny0firgRtjWuW9ukZSfbOoG4xcSjLyuqScwESQ bZv7bcV0TpRzao8ASaz3/YcZy/MPsetXNiJisAoRkvAqICH9uuWTwZL6wFUIGS6P V1GDkeomhMbSAlFasTlYO9uPEmo8jK79Ekq8qWvU/4eYJuwdeNhXz0aEDatw969Z XkUpGESGE1bt4UMDo6yZrO9Ujh8wsWincM8fkvoIKkNgFRdVSDbLrjZtB0GsHNsK bbk0c3AJWveAJfSsz3EP7cDDkLgdPlZOqxFyjxBZcJodpodVUmzolbWB6c/NeQPD z0kjBb+f9qz9DtJRuLzlzdflK7r6ohq74TIe5XcX5aNyjGpe8Z88iNRzGtqJ48L9 Cl+3tfVyuxVMl3HxbO3fCIBEah/XJL+1nUCADcC4VOa2qKT+HOIWZ6jgYoIaja5J Av3op2M8xkxGKUTR7cIkwThn7ZVgEecWK0cI9sXdx3UuKwvbMZixT9ym7R5kwgR2 65hauFnIlzwCRliScVCQ2CbH8bg5mktd6ZpWCRYCf4KrmJcM3FqjofeZGYlYOkOP qoWVrqQYqt5vFHaHrroe =kR3B -----END PGP SIGNATURE-----
