[ubuntu/karmic] coq 8.2.pl1+dfsg-2 (Accepted)

[Ubuntu Installer]

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

  * During validation of stdlib, call coqchk without -silent to avoid
    timeout on buildds because of lack of output

coq (8.2.pl1+dfsg-1) unstable; urgency=low

  * New Upstream Version
  * debian/purify_tarball: keep some files from doc/common/styles/html
    needed for HTML API doc generation

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

  [ Samuel Mimram ]
  * Remove upstream url from long descriptions since we already use the
    Homepage field, closes: #524037.
  * Updated watch file.

  [ Stephane Glondu ]
  * Remove suggestion on package cle (which has been removed), use
    readline-editor instead
  * Recompile with OCaml 3.11.1 (Closes: #535320)
  * Add versioned dependencies to camlp5 and liblablgtk2-ocaml-dev to
    ease OCaml 3.11.1 transition
  * Move libcoq-ocaml-dev to section ocaml
  * Update Standards-Version to 3.8.2

Date: Tue,  28 Jul 2009 18:12:34 +0100
Changed-By: David MENTR? <dmentre at linux-france.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/karmic/+source/coq/8.2.pl1+dfsg-2
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Tue,  28 Jul 2009 18:12:34 +0100
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml-dev
Architecture: source
Version: 8.2.pl1+dfsg-2
Distribution: karmic
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: David MENTR? <dmentre at linux-france.org>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
Closes: 524037 535320
Changes: 
 coq (8.2.pl1+dfsg-2) unstable; urgency=low
 .
   * During validation of stdlib, call coqchk without -silent to avoid
     timeout on buildds because of lack of output
 .
 coq (8.2.pl1+dfsg-1) unstable; urgency=low
 .
   * New Upstream Version
   * debian/purify_tarball: keep some files from doc/common/styles/html
     needed for HTML API doc generation
 .
 coq (8.2-1+dfsg-2) unstable; urgency=low
 .
   [ Samuel Mimram ]
   * Remove upstream url from long descriptions since we already use the
     Homepage field, closes: #524037.
   * Updated watch file.
 .
   [ Stephane Glondu ]
   * Remove suggestion on package cle (which has been removed), use
     readline-editor instead
   * Recompile with OCaml 3.11.1 (Closes: #535320)
   * Add versioned dependencies to camlp5 and liblablgtk2-ocaml-dev to
     ease OCaml 3.11.1 transition
   * Move libcoq-ocaml-dev to section ocaml
   * Update Standards-Version to 3.8.2
Files: 
 93a88f13726cf363c69daedd8da580ae 3142201 math optional coq_8.2.pl1+dfsg.orig.tar.gz
 69bcf07bbd347dd853e2b09f395d98ab 14513 math optional coq_8.2.pl1+dfsg-2.diff.gz
 8faff53d513405e1fc7f4704747263b2 1607 math optional coq_8.2.pl1+dfsg-2.dsc