Back to coq PTS page

Accepted coq 8.6-3 (source amd64) into unstable



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