[ubuntu/oneiric] coq 8.3.pl2+dfsg-1 (Accepted)

[Ubuntu Installer]

coq (8.3.pl2+dfsg-1) unstable; urgency=low

  * New upstream release
  * Add patch to fix thumb2-related build error (Closes: #622882)
  * Upload to unstable

coq (8.3.pl1+dfsg-2) experimental; urgency=low

  * Set and check COQ_VERSION used to compute COQ_ABI in debian/rules

coq (8.3.pl1+dfsg-1) experimental; urgency=low

  * New upstream release
    - remove all patches (applied upstream)
  * debian/rules:
    - run test-suite in override_dh_auto_test, skip coqchk run
    - make "build" explicitly a phony target
  * Update copyright file
  * Fix installation of emacs files
  * Install plugins in new binary package libcoq-ocaml
  * Bump Standards-Version to 3.9.1 (no changes)

coq (8.2.pl2+dfsg-2) unstable; urgency=low

  * Add Fix-build-with-camlp5-6.02.1.patch
  * Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
    lablgtk2 transition

Date: Thu,  19 May 2011 14:21:39 +0000
Changed-By: Colin Watson <cjwatson at canonical.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/oneiric/+source/coq/8.3.pl2+dfsg-1
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Thu,  19 May 2011 14:21:39 +0000
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: source
Version: 8.3.pl2+dfsg-1
Distribution: oneiric
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Colin Watson <cjwatson at canonical.com>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
Closes: 622882
Files:
 70ece28030a20c19b9292cb0c7d5be4a 3147573 math optional coq_8.3.pl2+dfsg.orig.tar.gz
 31bfb6ccbd6b6c815d4614b8b44e3251 2175 math optional coq_8.3.pl2+dfsg-1.dsc
 ec34c774da06f8f2b9be7fd261b16503 16199 math optional coq_8.3.pl2+dfsg-1.debian.tar.gz
Changes:
 coq (8.3.pl2+dfsg-1) unstable; urgency=low
 .
   * New upstream release
   * Add patch to fix thumb2-related build error (Closes: #622882)
   * Upload to unstable
 .
 coq (8.3.pl1+dfsg-2) experimental; urgency=low
 .
   * Set and check COQ_VERSION used to compute COQ_ABI in debian/rules
 .
 coq (8.3.pl1+dfsg-1) experimental; urgency=low
 .
   * New upstream release
     - remove all patches (applied upstream)
   * debian/rules:
     - run test-suite in override_dh_auto_test, skip coqchk run
     - make "build" explicitly a phony target
   * Update copyright file
   * Fix installation of emacs files
   * Install plugins in new binary package libcoq-ocaml
   * Bump Standards-Version to 3.9.1 (no changes)
 .
 coq (8.2.pl2+dfsg-2) unstable; urgency=low
 .
   * Add Fix-build-with-camlp5-6.02.1.patch
   * Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
     lablgtk2 transition