[Bug 534909] [NEW] Sync coq-float 1:8.2-1.2-4 (universe) from Debian testing (main)

[Fabrice Coutadeur]

Public bug reported:

Please sync coq-float 1:8.2-1.2-4 (universe) from Debian testing (main)

Changelog entries since current lucid version 1:8.2-1.2-3:

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)

 -- Stéphane Glondu <glondu at debian.org>  Wed, 10 Feb 2010 21:47:18 +0100

** Affects: coq-float (Ubuntu)
     Importance: Undecided
         Status: Confirmed

** Changed in: coq-float (Ubuntu)
       Status: New => Confirmed

-- 
Sync coq-float 1:8.2-1.2-4 (universe) from Debian testing (main)
https://bugs.launchpad.net/bugs/534909
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.