-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 06 Apr 2012 10:04:06 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4~beta+dfsg-4 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.4~beta+dfsg-4) experimental; urgency=low . * Recompile with camlp5 6.05 (no changes) Checksums-Sha1: 6ef02e588ee2dd31993e8d5e9a00af33a1a3f033 2350 coq_8.4~beta+dfsg-4.dsc c1059077ec3aa8100cb1fd227296a43bf1f93801 17534 coq_8.4~beta+dfsg-4.debian.tar.gz eb98d4c719d5a767e4e7ac559304587e83ad7dd1 5975776 coq_8.4~beta+dfsg-4_amd64.deb eae4a3bf1e4cf0ff9123fbd18258052d406f02a1 1052190 coqide_8.4~beta+dfsg-4_amd64.deb 4f799385e066aa11e2c34fd7184a0540a7eab1f0 65096842 coq-theories_8.4~beta+dfsg-4_all.deb ceba738e4b40518c5fb2f3b68888cdfb27f73b2b 2313788 libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb c0cec6251234fd7014f2f1eafc0d43c7344461d5 5696940 libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb Checksums-Sha256: cdee4fa68a064ec5abf6bf682a589d34289511876707370884593799d74cbf29 2350 coq_8.4~beta+dfsg-4.dsc 6a0b24fd9aac0c1828ff3ce8e35bef8389db8e110b2270a980dad04f083f5224 17534 coq_8.4~beta+dfsg-4.debian.tar.gz 858c2b14b1cffb7a7d4fc1364f3bb0f75e70c168a5679c8bf0bd9e31c7333f6a 5975776 coq_8.4~beta+dfsg-4_amd64.deb c24484412085d470aeb09a844e13a5cc84163622c2d8c1429f54731f623fbb5c 1052190 coqide_8.4~beta+dfsg-4_amd64.deb 18deae0b01b6eb21dcf3568deda5af7b1499f709a337ea6f580f55d164894580 65096842 coq-theories_8.4~beta+dfsg-4_all.deb 7cea618a2b462e84ed7cb56828512ca8e1b4664cdb58bfca0587b5d3cb909829 2313788 libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb d1782f1002e6cd5bd5087015d0e7446cbf9bb641bdc77125dd070181a1aeed3a 5696940 libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb Files: c20054b7fe34c9b76cb9fb8a18b9334e 2350 math optional coq_8.4~beta+dfsg-4.dsc 7981111292e0987041ed42ea4761cc01 17534 math optional coq_8.4~beta+dfsg-4.debian.tar.gz b366086ae2bc45b31e1bd2e766c767d5 5975776 math optional coq_8.4~beta+dfsg-4_amd64.deb feb9d01497894287ca9d9aab67e4ac0f 1052190 math optional coqide_8.4~beta+dfsg-4_amd64.deb 20a522ba6f9e5a280c39ef9bac19ed77 65096842 math optional coq-theories_8.4~beta+dfsg-4_all.deb d676bcde8cef6a087f900ee0e73fc59f 2313788 ocaml optional libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb 1792d8b67959f58f76ccf9bc8370cb6e 5696940 ocaml optional libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJPfqhRAAoJEHhT2k1JiBrTAXkP/jdFkUIAKz4jsr9ZhjfFDZvV DimVwQUQJ1IO6zIhMzQsxueSKaoYDOrb/sT0aUpNoEO1Xb5KvSf2f8oBKX+/Ahow trszhh9mBNhPEp7G1wykvl1jMogaFhGyKjRa+7ivCFqTG4mHD8IUmM6yzWIaVOdm yvBEAn/TAcxG+dgbotEI2/aKKvCbXY3BM0f6wq4IpP4WmJTlTBzSjKp0hjC/65Ie HWpGrVWsPLhUvjnFi9Ew5DjHosvT5S1cwcYtItOSUq3v25st8+EODiVtTnVNUti0 fKWdHAGMaeLJK0awyfZmAsR+EWPOYOdp364Gk/vQJ6jIivY2NvSzPoHKr8GxTw4x kBAmvB/7mDnbTpqgNbaW98xWa2EhMTApP0xl0qT6eVb50a0ufc830mhxRWbjRYKX HLtCGkTfcez+Jgbrb72rGFxY+76D/WRbB7SpxZRi5fSykOP1aH7pFKjengmUSpQ4 MYqZe+dYCeBNRtBGxhecK2fXsgzIcP7rTBIYTGWMwvcnZgPyh+S40UfY1das87ZC njv1c8wzst9qnxJa5o3/PIhZuxCsbmch+mnJLv3ewSCWTOhI8P7YqFSZFfu37iiJ F/D+XgWO/TI1wogfrwpsnXtpYksF9KdqYsjUR+BsigunYLyxmzAUEoi1RdTG0MO3 MlED6a/2riAt7MNt+Xan =8Mds -----END PGP SIGNATURE----- Accepted: coq-theories_8.4~beta+dfsg-4_all.deb to main/c/coq/coq-theories_8.4~beta+dfsg-4_all.deb coq_8.4~beta+dfsg-4.debian.tar.gz to main/c/coq/coq_8.4~beta+dfsg-4.debian.tar.gz coq_8.4~beta+dfsg-4.dsc to main/c/coq/coq_8.4~beta+dfsg-4.dsc coq_8.4~beta+dfsg-4_amd64.deb to main/c/coq/coq_8.4~beta+dfsg-4_amd64.deb coqide_8.4~beta+dfsg-4_amd64.deb to main/c/coq/coqide_8.4~beta+dfsg-4_amd64.deb libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb to main/c/coq/libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb to main/c/coq/libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb
