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

Colin Watson cjwatson at canonical.com
Wed Mar 10 12:07:54 GMT 2010


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
Package Archive Administrators, which is a direct subscriber.



More information about the ubuntu-archive mailing list