Accepted coq 8.2.pl1+dfsg-6 (source all sparc)
-----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
Reply to: