[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