[Bug 412976] Sync coq-float 1:8.2-1.2-3 (universe) from Debian unstable (main).

[Jamie Strandboge]

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


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

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