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