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

[Fabrice Coutadeur]

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 <email address hidden> Wed, 10 Feb 2010 21:47:18 +0100

[Fabrice Coutadeur (fabricesp)]

Actually, this package cannot be installed. This new version will fix that.

[Colin Watson (cjwatson)]

2010-03-10 12:07:52 INFO coq-float_8.2-1.2.orig.tar.gz: already in distro - downloading from librarian
[Updating] coq-float (1:8.2-1.2-3 [Ubuntu] < 1:8.2-1.2-4 [Debian])
 * Trying to add coq-float...
2010-03-10 12:07:52 INFO - <coq-float_8.2-1.2-4.dsc: downloading from http://ftp.debian.org/debian/>
2010-03-10 12:07:52 INFO - <coq-float_8.2-1.2-4.diff.gz: downloading from http://ftp.debian.org/debian/>
2010-03-10 12:07:52 INFO - <coq-float_8.2-1.2.orig.tar.gz: cached>
I: coq-float [universe] -> libfloat-coq_1:8.2-1.2-3 [universe].