-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 22 Feb 2010 10:41:15 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml-dev Architecture: source all sparc Version: 8.2.pl1+dfsg-6 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-dev - development libraries and tools for Coq Changes: coq (8.2.pl1+dfsg-6) unstable; urgency=low . * Add Disable-micromega-tests.patch (workaround for bug #570920) Checksums-Sha1: 82ee4d3e64db81395994bec4f15a426545a50572 2218 coq_8.2.pl1+dfsg-6.dsc ec34563d9199927828b60ff5765326da5a12b46f 15684 coq_8.2.pl1+dfsg-6.diff.gz 9d3501c9813f302bd4d037ef6e9ab7680eab7969 18394070 coq-theories_8.2.pl1+dfsg-6_all.deb e183c6ac29033b63085e2d722fcad23e6d86a160 15420750 coq_8.2.pl1+dfsg-6_sparc.deb 17885b9d081352377e7848cdf628d4ba60139400 6629710 coqide_8.2.pl1+dfsg-6_sparc.deb 15288a97ab314a467ddc69ca17d541c1b5b7b5f1 6719106 libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb Checksums-Sha256: 273fac97c44e7b93b22753016168f70ab16b1dda1e35e33e4bd949a60bd5de96 2218 coq_8.2.pl1+dfsg-6.dsc 13edbee649f0b6f6c0ed69a008f47ce3bc46cb04c1e9da5f8c9df723f1ea6b83 15684 coq_8.2.pl1+dfsg-6.diff.gz 6867d151a31229496f4b17f91f8481498f45cc4383e4aa86de2380537f9eacb5 18394070 coq-theories_8.2.pl1+dfsg-6_all.deb 9247b5bcf65aff22f64179a918d3c6bddb207431c1209423b96e3fb9ed30599c 15420750 coq_8.2.pl1+dfsg-6_sparc.deb 3aaea0864ab965ba4e180d5547b40a6918d28560bb62ed64cb444b4a4621e4ea 6629710 coqide_8.2.pl1+dfsg-6_sparc.deb 3588e9be455152e95a8876d2b0a41c117cff522936f454d8de4c05a442610ddb 6719106 libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb Files: 4e8423cf907121fc9247424c47a67a21 2218 math optional coq_8.2.pl1+dfsg-6.dsc e24ebfe4ab1003abb1f11c3c202b887f 15684 math optional coq_8.2.pl1+dfsg-6.diff.gz cc385d81802729c90a4370a0ef4f009f 18394070 math optional coq-theories_8.2.pl1+dfsg-6_all.deb dbaa7abc7f5ee6fed3c0f8472175c96c 15420750 math optional coq_8.2.pl1+dfsg-6_sparc.deb 70f1f14babb7722e18b293325712be0a 6629710 math optional coqide_8.2.pl1+dfsg-6_sparc.deb 751b261cbb1ead1b6826aa9f44ce3cf4 6719106 ocaml optional libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJLgmqxAAoJEHhT2k1JiBrTulwP/2rK+RFm8H/nwGhDElQQPgBx aPBWhX8cc/eYP0IwzO9ApeYY+46cOscw5pmX28qPv3tOrQ4NTJmYU5d4edPr3w7Y 0f05t89AaDEzXnN64t6iGUc9RgFSMUkE9P8czE59Jgx8FlVvVxNoDysSq5G4iuiB 3OgHeIcjR1wEk1tJa4DTvX1ozx6XglfUJM+uC8LA0EN7B9y/1UWr/nuz2hc9aYmb G7kO0Q1YVRHKj5rMBde/Bcg5KgQdF/DoGkRzBJvoitEfvfPbmpJcKdcGK/3TOOBs Lfyt2jp83tl/UYXZnaNrAChZfg3NOHMjIK6Uf6A9EpQAev0H6GmoxnvsWH5Ptxiu /96Kn9wOY3l3psLlg/6rzhcE2EaY3IqpCdVTMiOCFEnP02OMDMie/PtrztHJGWbO k6kevpZCEMdyzigskC8l9XsdkYGTNKPONzAWIKwyQ3uzuF/d9ufpPQ3UbBaY0PlB Rm9H0MZoTw6nN+eVT7JhkxBI5g1K0u1jkpRqjEA068ppJ+Gp2YQrIALP7fThBoPR 9uD+nfr9XtDXTsMlNhIUzYDzOrxslop/hHCt784Wj6RJ21DjghVIHTdSM5CGVBSx Yd57sTqIfrzB9qxK/fMwluSaoPpLNzsynmB74j6Ea2KPcVLI1k1WxnRAit4cUrdV fkrBZaXOEyq+csO46xtY =2cN+ -----END PGP SIGNATURE----- Accepted: coq-theories_8.2.pl1+dfsg-6_all.deb to main/c/coq/coq-theories_8.2.pl1+dfsg-6_all.deb coq_8.2.pl1+dfsg-6.diff.gz to main/c/coq/coq_8.2.pl1+dfsg-6.diff.gz coq_8.2.pl1+dfsg-6.dsc to main/c/coq/coq_8.2.pl1+dfsg-6.dsc coq_8.2.pl1+dfsg-6_sparc.deb to main/c/coq/coq_8.2.pl1+dfsg-6_sparc.deb coqide_8.2.pl1+dfsg-6_sparc.deb to main/c/coq/coqide_8.2.pl1+dfsg-6_sparc.deb libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb to main/c/coq/libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb
