Accepted coq 8.6-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 28 Dec 2016 18:19:29 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.6-2
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-2) unstable; urgency=medium
.
* Disable some tests with hardcoded timeout to fix FTBFS on
slow machines
Checksums-Sha1:
0b93b374a96f5a0e98679ac4c085546207207913 2396 coq_8.6-2.dsc
e42ec60a7ca7efc7c5be0f26c7a8802c75c4b92f 21748 coq_8.6-2.debian.tar.xz
8be59d20864a80fcf27d2c47c7cce31b476d248d 1376174 coq-dbgsym_8.6-2_amd64.deb
d5557407990475a3543bab64cd987966f8991a77 876120 coq-theories-dbgsym_8.6-2_amd64.deb
f21ca04acfb8fc78f61f80b326e65533c43c7430 31437844 coq-theories_8.6-2_amd64.deb
5315a13f95e4313ee66cc554dff8b53ca76e3d7d 13746 coq_8.6-2_amd64.buildinfo
7d13e20ab1cc974ce51bd0a3d3dc0c809f2d8523 13951838 coq_8.6-2_amd64.deb
313a11b1fd4657b90911d65787eb581280144d48 366408 coqide-dbgsym_8.6-2_amd64.deb
8a233c1e84604d72ec0efe401084290ad4b71077 1405284 coqide_8.6-2_amd64.deb
ab5ec53e5904d3ce5182c01a453ebea42c9c4a46 266190 libcoq-ocaml-dbgsym_8.6-2_amd64.deb
a8e9a680457cb0e3adb9a96bfd3e07eec01928df 81604 libcoq-ocaml-dev-dbgsym_8.6-2_amd64.deb
8dc1497c4d3aa3ab1d74093e56b1c6c63033220f 13286194 libcoq-ocaml-dev_8.6-2_amd64.deb
8caf324f5b1cf6724636ce0d56d67d89e417522b 3501540 libcoq-ocaml_8.6-2_amd64.deb
Checksums-Sha256:
29027cd037f6b5767e60eefba342bd97ceebf7c3da5840e636c6687aecf7318e 2396 coq_8.6-2.dsc
ec066a5dc4751de01f6da0188902bc79bf3be70c7f54c1a93961b5fedfbea025 21748 coq_8.6-2.debian.tar.xz
89ae59e66243d758b6fc1b9f45197b98acbcefe48cab6c0350902dc84c61e0da 1376174 coq-dbgsym_8.6-2_amd64.deb
7d85bd64c51c5604456b692ad5a3ed5f75a6fb226c49782bc858a61a17f64ed0 876120 coq-theories-dbgsym_8.6-2_amd64.deb
7bc5e1ea48177a3f7829493df9323d5a9845ff5e82cc5d564e10c8a890337ee9 31437844 coq-theories_8.6-2_amd64.deb
50b0bb1b69e7cadc239e5b66caa7bf79f489b51c756ffebe70f212dea73abdd2 13746 coq_8.6-2_amd64.buildinfo
95ba40d333dc31a01fc991eabd06783eb1b7bf8830d56c7018de586692a9f3c2 13951838 coq_8.6-2_amd64.deb
d396961ba02c793b49d2575fd60b04d8fe09ebd47679713b0822f38c5339fa3c 366408 coqide-dbgsym_8.6-2_amd64.deb
e9c81dcdc2e37969ded4b983616d1cd779ad062e4860ab0c431f10af34bf2f46 1405284 coqide_8.6-2_amd64.deb
204ff630fb5febeb493ae83df6a7e15d48ad633795d1949f66f12963ccef76f5 266190 libcoq-ocaml-dbgsym_8.6-2_amd64.deb
c35b7da96ca667f9ba9dda40b87604cfb614e2402c8bca4291b6ac7509c21a0c 81604 libcoq-ocaml-dev-dbgsym_8.6-2_amd64.deb
1537ecb91138b34b2f773c5c850fa406069b029b18a9bd92a57df43735a22746 13286194 libcoq-ocaml-dev_8.6-2_amd64.deb
9dbdbc09f32b7f3296ec267fa71da13ff0903a231898b2b74c3fe4d8e2ba77f6 3501540 libcoq-ocaml_8.6-2_amd64.deb
Files:
9171eda1d9e008e672738e0d039cd80c 2396 math optional coq_8.6-2.dsc
50aee210c805234044da22dbba9df22a 21748 math optional coq_8.6-2.debian.tar.xz
384c50ecf17f34ab89fa2a9dd7863d25 1376174 debug extra coq-dbgsym_8.6-2_amd64.deb
0b9550a1d321cbca2cd6828a855a243d 876120 debug extra coq-theories-dbgsym_8.6-2_amd64.deb
2e60fc26c2da7f817be89e9d07ccae3b 31437844 math optional coq-theories_8.6-2_amd64.deb
6693b57329de8016460fac3440e4c949 13746 math optional coq_8.6-2_amd64.buildinfo
640dd436b6c82a3593bb245fa6c7d728 13951838 math optional coq_8.6-2_amd64.deb
bfcc261502a16c184e1b94a87c97110a 366408 debug extra coqide-dbgsym_8.6-2_amd64.deb
a9dbfa575fb101207c7dd9e39eb0a659 1405284 math optional coqide_8.6-2_amd64.deb
878697ff2d8073e362b0db33e9743ffc 266190 debug extra libcoq-ocaml-dbgsym_8.6-2_amd64.deb
0fabe431ae83ab9aec3d3981c45e3ee5 81604 debug extra libcoq-ocaml-dev-dbgsym_8.6-2_amd64.deb
8b535e372d71efead9fdad981dececed 13286194 ocaml optional libcoq-ocaml-dev_8.6-2_amd64.deb
eaefae9d28936a981fd9152fd438a96c 3501540 ocaml optional libcoq-ocaml_8.6-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJYZBnjAAoJECUFM8yim3ZPkQkQAK9PZ+jjHWIF2clGLES3B38K
GMfEaZY+bCUt194o8zZPZ9fckSrsc7mRqpGmuBEK284hRYhFtmy/6L0yeKt2pAUj
R+W36D4QAoNPEJMCK4tky1ewSDuuGGIWuqXZ4cuT28tG4vXi1SsbYVHpqptWYNIs
iYSR0+fM851SycK7lhBCqcWDh9BQzyXhu+nr0GjLrCjYThg49OLXjuwkTz1DXIET
USBheMz8V4kIp2mh4LC3w1Hu7b7qNFlqHDdaQXfgS5SewWEljiINI5gpECTdefVI
ifbNV1cZArsSxemT5Yu27tRCvzQS5J+4N/FSDYXk2VogAnV/Qsc2pxcXOoJSDWZE
AVDRWjGLiczwlTI3v8kRRUeDBWKPrFfNApTouIO8gnDgS2XkGEu9mllnhDbbYKH1
vNuCvAC6rn27tX1DcPWLIY4WnHy6IghaXNvR/+JJ4J44dNiKUQ2v4ZfnSpSISYaQ
oBgEEaBlhg+0J8XiSdwg61sJW3dIpv+3ZZyBcOra9Ie4x1Hv+JAcLYHiroEaLsWM
TUAxDWWm/28RlagSfFS3smYYJlgl1YDBESQxfk8d4wWqo3Q1yM7XE105oeyS2J9z
BT6pf+IfDY8S68xnJ2WeoNvwdgfrN2RCXacQ08ErSo7f+7YkFWy8arhRgkaCWpL1
O+yiVsTBee+UO+CvGcBP
=vNiI
-----END PGP SIGNATURE-----