Accepted coq 8.4~beta+dfsg-3 (source all amd64)
-----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
Reply to: