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 <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> Origin: Debian/unstable https://launchpad.net/ubuntu/lucid/+source/coq/8.2.pl1+dfsg-6
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 <[email protected]> Changed-By: St?phane Glondu <[email protected]> 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
-- Lucid-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/lucid-changes
