[Updating] why (2.19+dfsg-2 [Ubuntu] < 2.23+dfsg-2 [Debian])
* Trying to add why...
2010-03-22 19:20:56 INFO - <why_2.23+dfsg.orig.tar.gz: downloading from
http://ftp.debian.org/debian/>
2010-03-22 19:20:57 INFO - <why_2.23+dfsg-2.dsc: downloading from
http://ftp.debian.org/debian/>
2010-03-22 19:20:57 INFO - <why_2.23+dfsg-2.diff.gz: downloading from
http://ftp.debian.org/debian/>
I: why [universe] -> why_2.19+dfsg-2 [universe].
I: why [universe] -> why-examples_2.19+dfsg-2 [universe].
I: why [universe] -> libwhy-coq_2.19+dfsg-2 [universe].
** Changed in: why (Ubuntu)
Status: Confirmed => Fix Released
--
[OCaml 3.11.2 transition][round 6/6] Please sync packages involved in OCaml
transition from Debian (sid) to lucid (universe)
https://bugs.launchpad.net/bugs/533753
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
