[ubuntu/lucid] coq 8.2.pl1+dfsg-6 (Accepted)
Ubuntu Installer
archive at ubuntu.com
Sat Feb 27 15:30:29 GMT 2010
coq (8.2.pl1+dfsg-6) unstable; urgency=low
* Add Disable-micromega-tests.patch (workaround for bug #570920)
coq (8.2.pl1+dfsg-5) unstable; urgency=low
* Rebuild with OCaml 3.11.2
* Bump Standards-Version to 3.8.4 (no changes)
Date: Sat, 27 Feb 2010 15:29:13 +0000
Changed-By: St?phane Glondu <glondu at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/lucid/+source/coq/8.2.pl1+dfsg-6
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Sat, 27 Feb 2010 15:29:13 +0000
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml-dev
Architecture: source
Version: 8.2.pl1+dfsg-6
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: St?phane Glondu <glondu at debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
Changes:
coq (8.2.pl1+dfsg-6) unstable; urgency=low
.
* Add Disable-micromega-tests.patch (workaround for bug #570920)
.
coq (8.2.pl1+dfsg-5) unstable; urgency=low
.
* Rebuild with OCaml 3.11.2
* Bump Standards-Version to 3.8.4 (no changes)
Files:
4e8423cf907121fc9247424c47a67a21 2218 math optional coq_8.2.pl1+dfsg-6.dsc
e24ebfe4ab1003abb1f11c3c202b887f 15684 math optional coq_8.2.pl1+dfsg-6.diff.gz
More information about the Lucid-changes
mailing list