[ubuntu/lucid] coq-float 1:8.2-1.2-4 (Accepted)

[Ubuntu Installer]

coq-float (1:8.2-1.2-4) unstable; urgency=low

  * Rebuild with OCaml 3.11.2
  * Rewrite debian/rules with dh overrides
  * Install *.vo files in user-contrib/Float
  * debian/control:
    - move to section math
    - bump dependency to debhelper
    - update my e-mail address, remove DMUA
    - update Standards-Version to 3.8.4 (no changes)

Date: Wed,  10 Mar 2010 12:07:52 +0000
Changed-By: Fabrice Coutadeur <coutadeurf at gmail.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/testing
https://launchpad.net/ubuntu/lucid/+source/coq-float/1:8.2-1.2-4
-------------- next part --------------
Origin: Debian/testing
Format: 1.7
Date: Wed,  10 Mar 2010 12:07:52 +0000
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.2-1.2-4
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Fabrice Coutadeur <coutadeurf at gmail.com>
Changes: 
 coq-float (1:8.2-1.2-4) unstable; urgency=low
 .
   * Rebuild with OCaml 3.11.2
   * Rewrite debian/rules with dh overrides
   * Install *.vo files in user-contrib/Float
   * debian/control:
     - move to section math
     - bump dependency to debhelper
     - update my e-mail address, remove DMUA
     - update Standards-Version to 3.8.4 (no changes)
Files: 
 65e383bc9506b99500ffc8b6f24edcd8 1948 math optional coq-float_8.2-1.2-4.dsc
 e9a0cd9099d95a302685c3485d436b54 2744 math optional coq-float_8.2-1.2-4.diff.gz