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].
** Changed in: coq-float (Ubuntu)
Status: Confirmed => Fix Released
--
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
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
