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