-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 20 Jul 2015 09:51:21 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 Version: 8.5~beta2+dfsg-2 Distribution: experimental 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~beta2+dfsg-2) experimental; urgency=medium . * Enable native compiler only on amd64 and i386 * Enable 'make test-suite' target Checksums-Sha1: ad519778c61690356de3032bbf1fbb958d5db76d 2473 coq_8.5~beta2+dfsg-2.dsc 03b7e55c59cf0c9033d7fde9a5e3d14f559b20e9 15896 coq_8.5~beta2+dfsg-2.debian.tar.xz 0d5d4860458e445e2e17e2d9f64d3795fa3579d8 35306202 coq-theories_8.5~beta2+dfsg-2_amd64.deb defcd405bfa5076b0d4099e6b3663d8a1671e433 12584720 coq_8.5~beta2+dfsg-2_amd64.deb 7c6a9b4cc508d5c1a4eff1b12d04215a87df7863 1134764 coqide_8.5~beta2+dfsg-2_amd64.deb 3d69dd7a0f349e3194bc864c9c03fe4008893259 13040718 libcoq-ocaml-dev_8.5~beta2+dfsg-2_amd64.deb aebf29978246db1782b86fdab1e511c571c87543 3516614 libcoq-ocaml_8.5~beta2+dfsg-2_amd64.deb Checksums-Sha256: e43333b2b7640f32501bc909b621d7a8032a7a3730f71dc5d80af8eaae15f014 2473 coq_8.5~beta2+dfsg-2.dsc b8ec8b3e7b952e14ade46e7cb0083f2e08fc17c7e2a0838eae15128690a21e62 15896 coq_8.5~beta2+dfsg-2.debian.tar.xz 988f68e9e27e7f792e17b9e07990c298937675eb01d49d4b76f12b3a211d6981 35306202 coq-theories_8.5~beta2+dfsg-2_amd64.deb a0075978cf9e3439a43e1424c478171bb297ef17745761b9ee66486cf16a4ae2 12584720 coq_8.5~beta2+dfsg-2_amd64.deb 0329b03e74294cae1e19e70b46e811496e55db697173abbde6d51abd216d1421 1134764 coqide_8.5~beta2+dfsg-2_amd64.deb fe4eb4316fd7c40c11f45806b61f265ce0790dc4705328b68d0feef28689eafd 13040718 libcoq-ocaml-dev_8.5~beta2+dfsg-2_amd64.deb 1a91a0c3a9e2d12a0bbf37fc0f2bb6b0677a5e8ba6a756ed0e9bcda069f80347 3516614 libcoq-ocaml_8.5~beta2+dfsg-2_amd64.deb Files: 9d9db84ebd4dabd0e5fef7d20f8567da 2473 math optional coq_8.5~beta2+dfsg-2.dsc 7faae4c898fb61558999407fd4405eb1 15896 math optional coq_8.5~beta2+dfsg-2.debian.tar.xz 4efa958600eaa24a0401ea35ac9329e6 35306202 math optional coq-theories_8.5~beta2+dfsg-2_amd64.deb fd0d2f88db1e52873170d0eea849febc 12584720 math optional coq_8.5~beta2+dfsg-2_amd64.deb 04721362a7cf11f32330f524b562875c 1134764 math optional coqide_8.5~beta2+dfsg-2_amd64.deb 7fa2ab2544358d7530339b24e837ccf7 13040718 ocaml optional libcoq-ocaml-dev_8.5~beta2+dfsg-2_amd64.deb 0c05940ace345eba4eda395fc68132df 3516614 ocaml optional libcoq-ocaml_8.5~beta2+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVrK9WAAoJECUFM8yim3ZP0eAQALtmGWPA/Wo2sX25wC9xTy+e /YH79wSz3onNEGqEMteKZPjfuKYFSFtdHEaBo53UfM21Qkm+HgEVtnKbbh6FNpVY 7tHIWwDVZuV79V/qQ7m+qLQZ/5XbMczWzZQqR4C/n5YSivAXCD+DXKQ9FmeHkBoW dbcMlTRkWhnyG2Mh1O41i8CJmJ3VIQvHp7YuB/X4nDuotDvGc9xg4bH2kXST6cHa xoRFF0juYKfGcfpv/whkjtuWJfrZso1ulWz9sc9s6yrGfekFxH3fLiEGvUFzGYiD Er6hIOe68QYFfGrNIM2ia03o4pBtaxxLw/u+acVu46BOCIPJEQIOQ2t0rrtMhVQq r9g1Sa3cCHphTNa2QpnJxlDyTii2pNQ7muQcRNrj7mDa7bH2DO0HYA/aQNyN0eeJ Rbe89Yab9t92jHSck9w26OMdntqz4XInnzEjCQPaR3QN2UdD32QxXSzrPDAw5C3Q i1qHWbF8XBME3/SzeFHTiNqqEfujd2QR+imtQggLOBiCY+GJki6Vwtdthfle2UMc +AZbtL7pbGl4oNXbQgcKheVX9oXsMTgoGwQJNDdzmJauHXzF2u8iJFdZmbdo4uoE ORVMJelCVs5k5mcJmRENg3CX3kxpGwWbLUTgv2WGZyGKMVbBiWdLFNdJxmLQPP9y uxQNUkCbemnAGQ+hcjM3 =nHP2 -----END PGP SIGNATURE-----
