-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 15 Jan 2012 12:37:23 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4~beta+dfsg-3 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-3) experimental; urgency=low . * Replace proofgeneral-coq by proofgeneral in dependencies * Disable a test that uses too much memory, causing random FTBFS Checksums-Sha1: dcf1d004dd2f0486113cb2daa8efe663a0d29962 2350 coq_8.4~beta+dfsg-3.dsc 8c3ec5a5fa78153f13e3de0eed27ff365b04ae55 17597 coq_8.4~beta+dfsg-3.debian.tar.gz 1f7a90a4e80b07da9f134f163a72aa1eb60a36df 5972290 coq_8.4~beta+dfsg-3_amd64.deb 132e7ddcd2a698149ed70fc4be65a89eb9d364ba 1053800 coqide_8.4~beta+dfsg-3_amd64.deb 454e7899adf2aaeab52a0821d198373d71deb904 65124172 coq-theories_8.4~beta+dfsg-3_all.deb 07c18f96ec3dbcd24a9c60b1eb62a795f6c73346 2313084 libcoq-ocaml_8.4~beta+dfsg-3_amd64.deb 9ed5a0305f8d20a495c6675bf5f93456f4cc7051 5690980 libcoq-ocaml-dev_8.4~beta+dfsg-3_amd64.deb Checksums-Sha256: 79ca9a272b61ae9a6f969ec1c83b84c4ab903b1ce2ed62b1e30a04f6779cc14b 2350 coq_8.4~beta+dfsg-3.dsc a56a2d2eb0a87d2fe3c24879472c39866fd3d618ddee3ce64e3022c1ad942778 17597 coq_8.4~beta+dfsg-3.debian.tar.gz 4b7d67d923b0b4b9e19d6219211bd947b83818e73d64f296091a42106eaeb374 5972290 coq_8.4~beta+dfsg-3_amd64.deb 26c3d97157d2d19aa6d2a0f01b847e4dfc38d32398305e59ce14fdd8acd1b3fb 1053800 coqide_8.4~beta+dfsg-3_amd64.deb 40b7cf87a18c729b987c4cce5079fd5bc6249fba21b30cdc8ca015c600a2a04f 65124172 coq-theories_8.4~beta+dfsg-3_all.deb 27453af7ca53cf8713218af1196585e0fd981e7e49a8297fc9370aec1aa402d9 2313084 libcoq-ocaml_8.4~beta+dfsg-3_amd64.deb 3f246a4482399c661cc0778d08ad6e8a867e2bf0642e63a350286e221709c55c 5690980 libcoq-ocaml-dev_8.4~beta+dfsg-3_amd64.deb Files: 903d360331756de9d39daa7a08b2c9fd 2350 math optional coq_8.4~beta+dfsg-3.dsc aae61add9d75b3e31212b00b6419eb2b 17597 math optional coq_8.4~beta+dfsg-3.debian.tar.gz d285d28e34a1a9ebf80187a40b2fe639 5972290 math optional coq_8.4~beta+dfsg-3_amd64.deb e2e930d005ded231208b15a3667a61df 1053800 math optional coqide_8.4~beta+dfsg-3_amd64.deb a4a2388fb0e102fdcf18ead16c055b7e 65124172 math optional coq-theories_8.4~beta+dfsg-3_all.deb ad9ba6de4091cbc849008a23a3772c9b 2313084 ocaml optional libcoq-ocaml_8.4~beta+dfsg-3_amd64.deb 148771869ac32c616280fed9d1546b4c 5690980 ocaml optional libcoq-ocaml-dev_8.4~beta+dfsg-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJPEsDoAAoJEHhT2k1JiBrT0kQP/3h0BcST6hzbGRBQbEqCfwWM ei5ttATxAGvLx3y+JsCXWBLuap5xvc9P4VkeIKxgTrhwhT9MzVXFXy14CkAsD/ae K4HikTakZaj56t4yjL/IMREszianAHZxhElXbRapl0XgkwPFTcafGv0P4VRs2yyM av5WYNNaT4v6U2XVjZyb/LxTI50VB4SoS9iehVXWHZhYxN9vE7xymgpgrVZH/9AU 1PHPwxa5AM/NbjmLPOb8mPdX8ABVFA7PVgTyzqpWK/heG3NRAD04xZChBUShq2T2 eApFwdVFQEvbXbArqQ6ZZLz5rxwyDqsgbDrbPoomh+Wlk/qG6i0oxHZvmaCa2CtB tTGB2fZPUI0yjgjIHzuNmweXCM1dssQVFFFJ7YZU/TM2wz3mbEuNMoQBeRZp4eCx fBBG7/UewvWvDI5odBQL+87q71DqcDob7HDikZs7bUkauPfpdLPyo/kbgss4gf6G xhcAqSGXBFqUN8jCcUG0CXq/PmIOZQ7qddh1YWNTSRAa/3v41E8+5FKVmPsUJZ9O amGivPzfGfNsJSPvOxl1fSk/qEgJD40J8RxBD2jz0OYN/V2HdxpjR+qRfHPZBo55 O5gFu8B+cBKkUnxdS7/ozTTsWrj2y94+RbFuWvPAU8w9PZ1W7znyTyFbt276NETu 03hYcA2MAWQF3sM0NHc+ =iY4Q -----END PGP SIGNATURE----- Accepted: coq-theories_8.4~beta+dfsg-3_all.deb to main/c/coq/coq-theories_8.4~beta+dfsg-3_all.deb coq_8.4~beta+dfsg-3.debian.tar.gz to main/c/coq/coq_8.4~beta+dfsg-3.debian.tar.gz coq_8.4~beta+dfsg-3.dsc to main/c/coq/coq_8.4~beta+dfsg-3.dsc coq_8.4~beta+dfsg-3_amd64.deb to main/c/coq/coq_8.4~beta+dfsg-3_amd64.deb coqide_8.4~beta+dfsg-3_amd64.deb to main/c/coq/coqide_8.4~beta+dfsg-3_amd64.deb libcoq-ocaml-dev_8.4~beta+dfsg-3_amd64.deb to main/c/coq/libcoq-ocaml-dev_8.4~beta+dfsg-3_amd64.deb libcoq-ocaml_8.4~beta+dfsg-3_amd64.deb to main/c/coq/libcoq-ocaml_8.4~beta+dfsg-3_amd64.deb
