Accepted coq 8.3.pl2+dfsg-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 02 Nov 2011 22:27:18 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl2+dfsg-2
Distribution: unstable
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.3.pl2+dfsg-2) unstable; urgency=low
.
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)
Checksums-Sha1:
d173b1a03a4a7f57e8570f0a30a4235a1070e829 2345 coq_8.3.pl2+dfsg-2.dsc
41918ddc5592022a1e5689abf7ae99073d470583 16678 coq_8.3.pl2+dfsg-2.debian.tar.gz
01da517bcfce73c50511d7a9e65193b5d2b3e63d 5665690 coq_8.3.pl2+dfsg-2_amd64.deb
e07571a90c85d88eaf3d7d5d0088803af9e72be5 5601732 coqide_8.3.pl2+dfsg-2_amd64.deb
2c7c5f72b4d4f8c9d0e3e774c17c89a56ab3d1b6 53344536 coq-theories_8.3.pl2+dfsg-2_all.deb
ab0ad54a3d30aad223f46f664e85d271c643da1c 2090162 libcoq-ocaml_8.3.pl2+dfsg-2_amd64.deb
a3efefcf61208f56a6f6d995da61bb29fc7b872f 5902434 libcoq-ocaml-dev_8.3.pl2+dfsg-2_amd64.deb
Checksums-Sha256:
8c877d09e7a35e6bdced99a160c944cb12e73d351d6b4a7aab9d7794c6cc5380 2345 coq_8.3.pl2+dfsg-2.dsc
e80dfa9a256ade11cad19965ad54aacce2ced1da43f55fd75e61024a99dcdfc1 16678 coq_8.3.pl2+dfsg-2.debian.tar.gz
507f52f6710ca3887b13bf693084a854f8e936330c3ecc21fae6dc3cabdf0b3b 5665690 coq_8.3.pl2+dfsg-2_amd64.deb
936c2b4cf8f24c0aaa99ab0621645d6677350555dc6a8c794bb90e5ae804a721 5601732 coqide_8.3.pl2+dfsg-2_amd64.deb
b49a6576f6498f36f09dc79bc2987864dda79797657405a61e22839cdbde5010 53344536 coq-theories_8.3.pl2+dfsg-2_all.deb
746388643bd2909615dd7dbaa45247ee25221714b7bb9d2c800036d27619dbff 2090162 libcoq-ocaml_8.3.pl2+dfsg-2_amd64.deb
c3a4f7ec6a636f3b774d9a2c13a365637909d529c0d71f80e65e4596a1359311 5902434 libcoq-ocaml-dev_8.3.pl2+dfsg-2_amd64.deb
Files:
36bc9ffac14fda0d93f614e8b8a24833 2345 math optional coq_8.3.pl2+dfsg-2.dsc
8c4a7a566b3f9cb70dd4a7e5d02fa909 16678 math optional coq_8.3.pl2+dfsg-2.debian.tar.gz
c84a203839e6e3146e4ec49147526655 5665690 math optional coq_8.3.pl2+dfsg-2_amd64.deb
b00bbee2f357584702f7b4dbb7b3e22e 5601732 math optional coqide_8.3.pl2+dfsg-2_amd64.deb
d16d1c0f3650f08888ec6b8d49c1e2df 53344536 math optional coq-theories_8.3.pl2+dfsg-2_all.deb
6e06c1edb64371d61c0eec88c234d4a1 2090162 ocaml optional libcoq-ocaml_8.3.pl2+dfsg-2_amd64.deb
bc18114df17f49c7e03da1d6a7b3b622 5902434 ocaml optional libcoq-ocaml-dev_8.3.pl2+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJOsb+pAAoJEHhT2k1JiBrTSiYP/1Hlg6QJSU+Np3zMxFMLI694
VDkjfmiQst/7MAfbQc3133Wsmq5buu6+zpxB1yzeZ+tEXu2dKv5lc7qlAG9iPeSn
kllvZaLKJptWWVFghqGlVhGzx0pRq9EHzScBVpL+gvMZCBbGOpAdWBstbz5s56cO
6IUmQbxGZ0mBh+QJ8bdOo9CyS2M+EWujc+fz0Rw0AcBLU4yJEF/xJY/T/N+VPkwg
cB47fJwJn48mqtR6KrXw8/3nLTD67zFxs9vlTAIbDG8jCWAH2ca4/V5qApj/lGuP
/DAinaHwSeW0VWAZNUAZn3EOKXX8lajsx9+qhubd2+yiJO7S+2n1EJsU9tWzD3Ek
4rTT2EsBwZ3Msh+D2sjiDu4vxfOJHzzTy1mmykZYiLfB+QgpbuFkWqDSlFaEXYW3
kSdgbJqILKXPErGtLRMhVXwC+LZBJti6rP8HFslaXKE0nZ/81WK5M+RgsRZRPp01
CsPwGNuYSRx4dCUXiUin7CSXETGNJaiPUSwDLTk092KmkAcfoLBfCDVsjWRcwFOg
b4rj2Y5ze5rtYx08qaMBS48KyFKcrY17xokdbezGmHX3BjgOPKewfty32Paie4Ae
ZiSGF4o/pXe/7jt2dVELW9INiR86x0Ssyzokg+bBCrjDP43MvnArmZ+R613p6Ltj
TY+721TV08GzXM793k1L
=0IJR
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3.pl2+dfsg-2_all.deb
to main/c/coq/coq-theories_8.3.pl2+dfsg-2_all.deb
coq_8.3.pl2+dfsg-2.debian.tar.gz
to main/c/coq/coq_8.3.pl2+dfsg-2.debian.tar.gz
coq_8.3.pl2+dfsg-2.dsc
to main/c/coq/coq_8.3.pl2+dfsg-2.dsc
coq_8.3.pl2+dfsg-2_amd64.deb
to main/c/coq/coq_8.3.pl2+dfsg-2_amd64.deb
coqide_8.3.pl2+dfsg-2_amd64.deb
to main/c/coq/coqide_8.3.pl2+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.3.pl2+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl2+dfsg-2_amd64.deb
libcoq-ocaml_8.3.pl2+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl2+dfsg-2_amd64.deb
Reply to: