Accepted coq 8.4pl2dfsg-2 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 26 Jul 2013 14:17:30 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4pl2dfsg-2
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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.4pl2dfsg-2) experimental; urgency=low
.
* Compile with OCaml >= 4
* Update Vcs-*
Checksums-Sha1:
987401cc8cd52d6e7afd86db1208a6dbc4e966a5 2356 coq_8.4pl2dfsg-2.dsc
9b29e257a60e35a5919a11a5aa2c5bbcead9ab02 17445 coq_8.4pl2dfsg-2.debian.tar.gz
c89fe5d7d89e448ec4e983dfea863df00011b899 6726164 coq_8.4pl2dfsg-2_amd64.deb
3ac7e4bcb5d524c5e6a3ce24d38399f7a4dd8e5a 1088908 coqide_8.4pl2dfsg-2_amd64.deb
8a184600ab41798043c6ef7af0589bb2d7b469bd 58847554 coq-theories_8.4pl2dfsg-2_all.deb
e527bd085333d1831405e7bc7f0d529328253744 2532598 libcoq-ocaml_8.4pl2dfsg-2_amd64.deb
97e1d43b5a43cb74f5828e3e5b20b2a4da3cde0f 6369590 libcoq-ocaml-dev_8.4pl2dfsg-2_amd64.deb
Checksums-Sha256:
db16ad15c805d38795de16b54e72634724ee39818113207d7e83dce64c10a978 2356 coq_8.4pl2dfsg-2.dsc
5ccc16b76979811d9fd7c5e96b4813b3737e50184f3d899b617c1b148618fd49 17445 coq_8.4pl2dfsg-2.debian.tar.gz
106c52a4fdd4bb977ad5e4d2c7fa0bd08e351cbd3fb7ea6b1206800bc7f17694 6726164 coq_8.4pl2dfsg-2_amd64.deb
79a660637cf2877f316344649a26c54af1c4848525292f08b019269d958811ae 1088908 coqide_8.4pl2dfsg-2_amd64.deb
b27fb4860850c9245a7eb1b1dfad9be40c59ee9d83b4e9399ec8482221e58d6d 58847554 coq-theories_8.4pl2dfsg-2_all.deb
34d8c3ddccbb96835bce78457bc398ab82fa66100c1d4c60eadb18273d6993ce 2532598 libcoq-ocaml_8.4pl2dfsg-2_amd64.deb
ce1c5610c795932e02f6643df75fcddbb1930d21d2d8f91ff314f6293c8f729d 6369590 libcoq-ocaml-dev_8.4pl2dfsg-2_amd64.deb
Files:
57a76fee04b8699a734666c879c49a89 2356 math optional coq_8.4pl2dfsg-2.dsc
ec106738bb1c4aadbfb5db9d0f980658 17445 math optional coq_8.4pl2dfsg-2.debian.tar.gz
2cbc8af00d27627b2ecb81952869dfa3 6726164 math optional coq_8.4pl2dfsg-2_amd64.deb
a8567b46abe8dfa8db04a1d71e2f0866 1088908 math optional coqide_8.4pl2dfsg-2_amd64.deb
aee7bad25d7e4d1b6be98cc68ef55b91 58847554 math optional coq-theories_8.4pl2dfsg-2_all.deb
45385660fd19328f3c92cbc12b2fa95b 2532598 ocaml optional libcoq-ocaml_8.4pl2dfsg-2_amd64.deb
e038a4a1eb00546bf4dd9e9a52224a45 6369590 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJR8nMLAAoJEHhT2k1JiBrTxL0P/jFHDMjMFsQse1fLwleZtFjh
8Ukn6K0bf97LPVxcv2IqgDZB+qIL0oaWjzR1HXvo/zpLL1trr+pF2TtNTXGz5LaX
vQn6Dc9UE1icpBgMKk0AXSXqi+fcWRG3xkzXUv0XMOc9SCm4n7BpOMLlOJCtbVn8
zCqxDtWwR78+n2ywHTD8YwplQ1OSn30e2LQx9ysqgRE0SRLLhAOma5dNcsIa+bhL
tYOEPmVPyiI2HUYPYiadSP0IjScPCRJtoCtwhI+xgLcIwpOc/zoceCGF+pyKW9jg
ayRp4X5oXuKi4ks6ktpIh1lRQe+m1Wd9s5FxOF3mWCL8Mz1uE2gz9ftlJROo9eCi
sGuGL79Z1ypmj70nyQsDAQK5hsyZbfLcTN+99sXu08DXeC7BJVUzuds6r7T1jEer
CpfVW+8WvSP7WT2jLjqvSRX6VzYRI2602HFOsfGg1n6JbuQfBBFbwHu8oEU5nvMj
9Gb7EAO/54CAGrmXy6Xnn547c88SDwWoQ2jDrjro2uLHm+wdgAVPCswB1MiBhQ2b
LPtt1VAJVVUQ7of91XeKlH3Y+Kk4DMn/APtuGuisqYm8Ff6cH6BGktWx9uAtg4R7
wk7ORS+KYr05lyNZ5B7WGqVjwfWKSBul/dyteIktUoGruPKKQZfoReZcxNFhsiw2
sjYC47jODB/AMl1ydoC6
=b2zb
-----END PGP SIGNATURE-----
Reply to: