Accepted coq 8.5-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 28 Jan 2016 11:47:07 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.5-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.5-2) unstable; urgency=medium
.
* patch: disable test 4429 (timeout too strict for slow architectures)
Checksums-Sha1:
eb8659a5d1efbf7fe959f1b40247cd40dccf5f78 2396 coq_8.5-2.dsc
8aa78ba839343a4f4d66da00707af94cff3203ae 16660 coq_8.5-2.debian.tar.xz
d8a63cc4ed81bcb31b6d39aea0f59d9b560ab718 1238262 coq-dbgsym_8.5-2_amd64.deb
fc1d01cb1ab15bf33b0fe00abe8ef0d1d7699abb 885136 coq-theories-dbgsym_8.5-2_amd64.deb
bc2cf61848aed599c05ab0eaa74ecdb5c823ad90 32915922 coq-theories_8.5-2_amd64.deb
4744a7d987c3b42357757993c2504ada77d1283e 12751160 coq_8.5-2_amd64.deb
3010c48c257fdc3720e71a7c0f540f05e1df5de4 337998 coqide-dbgsym_8.5-2_amd64.deb
7bf009f3ec7eb8612166be0ebb6f82d1dc55df49 1140518 coqide_8.5-2_amd64.deb
5efc2403b1170905790e2613531b6762a3d71e08 255690 libcoq-ocaml-dbgsym_8.5-2_amd64.deb
d1eac59fda57d23fab85f11747e9195dd73ca063 69572 libcoq-ocaml-dev-dbgsym_8.5-2_amd64.deb
7d10f05cf0fa2bba61a2d768b22724fd8e52d785 13124196 libcoq-ocaml-dev_8.5-2_amd64.deb
44d1ef6b937313e9cadc43136688c429a348ecde 3433518 libcoq-ocaml_8.5-2_amd64.deb
Checksums-Sha256:
34fe2f9606ef1ef0af62895134b3113cea4f784a0659eb40c881d14d5a907483 2396 coq_8.5-2.dsc
9c006ae16d9de199fde312a84a469583e61b1ab7106abcaedef63f0e453a2e52 16660 coq_8.5-2.debian.tar.xz
13701caea3cb76f92f18110477cdbff47a29badb7f1195ea895d50107e29de1e 1238262 coq-dbgsym_8.5-2_amd64.deb
fa10347250d02f9a6454d3c47f1ad5d453ebb2dd4e7d51685d35e0f33a7f699c 885136 coq-theories-dbgsym_8.5-2_amd64.deb
f220b869d3bc7c54e4a869e84d38316b36f7030a735b0cf0155e00b83820c2b9 32915922 coq-theories_8.5-2_amd64.deb
185495727f9ea4545066958ece543c5ff7d0ca470ed9790ff0905fa64234c6b0 12751160 coq_8.5-2_amd64.deb
227ef0575388209fce413844683711b24100444f8d1fd60b49f52b750bdbdbef 337998 coqide-dbgsym_8.5-2_amd64.deb
6c0cb8e40bd8cfc6c50aa29590beebdeb186f7666bc8b62119eeec70250ea8ab 1140518 coqide_8.5-2_amd64.deb
c0f577cf3fef190df46b0ef31b0bcc8a01e05428ab49ce79d9c9834a056f186f 255690 libcoq-ocaml-dbgsym_8.5-2_amd64.deb
7908e8cd53dd0a49110e4fa328da09635de74f564f91657044deaaf2f1c39cc8 69572 libcoq-ocaml-dev-dbgsym_8.5-2_amd64.deb
5d92828b69bbdda4c71ca9e3156e0854d52c0f52f4ac36b5a00444649407eca9 13124196 libcoq-ocaml-dev_8.5-2_amd64.deb
5bcdc20fc605a4a47444baaaecb22333f635be5e6d17d9cf3b457d3db8d4bdff 3433518 libcoq-ocaml_8.5-2_amd64.deb
Files:
4ce348866bcf2610182bed914f925145 2396 math optional coq_8.5-2.dsc
4bec75658211d580ee80f694e5eb7c50 16660 math optional coq_8.5-2.debian.tar.xz
bef3bd74f21ff1e706087ea675875546 1238262 debug extra coq-dbgsym_8.5-2_amd64.deb
b2986a5a165259e4bdc9a6eced46b309 885136 debug extra coq-theories-dbgsym_8.5-2_amd64.deb
2a840c7b069d491737b5ff6269a0478a 32915922 math optional coq-theories_8.5-2_amd64.deb
ba0e135c38ae43105e8960f2c705b258 12751160 math optional coq_8.5-2_amd64.deb
023a1dbc2cd6f50c971e69ce7189595a 337998 debug extra coqide-dbgsym_8.5-2_amd64.deb
fc468ebbd9bee545494b27a32277c0c8 1140518 math optional coqide_8.5-2_amd64.deb
49c0be7a44c3451d1a372f3cfc67440c 255690 debug extra libcoq-ocaml-dbgsym_8.5-2_amd64.deb
f2208a19bbafd9a59957e2ea5992826c 69572 debug extra libcoq-ocaml-dev-dbgsym_8.5-2_amd64.deb
b3ff8a0e0d37d477b8f03360241fe752 13124196 ocaml optional libcoq-ocaml-dev_8.5-2_amd64.deb
c87a857c1d596453957e9467235c0172 3433518 ocaml optional libcoq-ocaml_8.5-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWqkfRAAoJECUFM8yim3ZP2isP/A7mpDJu26imqxp2F/6V0lwq
WxcqZ+gA0Ni+pNxCOnYe+8aTDTfyge7rT4Kyzf8YWp+Yi76lrExQKBK9SpvOlw8t
SwOJFa71sGn4tO2nJIJoH6vuezYycg4rk799o9VW1QhAGkKyI4ixr7Jd7Oyi+f4g
56BosJx2hYOyk+eYuiK2ihEKrQPUlqJJqmBCI7rHCUKKkJ1HIj1GggfyVjlhzksF
CG0+u9EjeS6JJMIabBQvvBNVLEtfJx/xykjZvWjIn6TOwDtp6mSkX3s573xgHEkd
tvK5Tr/frr+CYVoJ6eu3o/YFCtpcET7SoEDg58Fv79Uxi6XQfbIudZSRBL8SJdGx
0KP/2O5q41ysRBW7jgCQkMNTSDve77Br3OLQwtZE84vK1Dr9hrUIAUigNHTyfPL0
PiJBJJPWKIYb0mRuTK9g7t2SUvuVrh02jjIxocDyXvRGkeQor8jV6PvizG19rken
cYv1nQs8ZUDKjxm3drMehSh3u6/m9+lqoOROdeoDo4Hw2lGLotvQdls4KhQD+6G2
toASJ97Hbs0edDWeDi5WKpxtsapAVToruGcZagb24Yu+oEqRDSiSa/bABKktSj4u
9hB7wUgdgEmyC2cLdZh7iuL0wGgvY0uv8wBnIYj2UGANtYtOpvj153oFt+2KUm0W
+6rFHf4Q6zA4OCCmW5Ml
=fy0L
-----END PGP SIGNATURE-----