Accepted coq 8.5~beta2+dfsg-2 (source amd64) into experimental
-----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-----
Reply to: