[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
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
