[Updating] why (2.18.dfsg-4 [Ubuntu] < 2.18.dfsg-5 [Debian])
* Trying to add why...
- <why_2.18.dfsg-5.dsc: downloading from http://ftp.debian.org/debian/>
- <why_2.18.dfsg-5.diff.gz: downloading from http://ftp.debian.org/debian/>
- <why_2.18.dfsg.orig.tar.gz: already in distro - downloading from librarian>
I: why [universe] -> why_2.18.dfsg-4 [universe].
I: why [universe] -> why-examples_2.18.dfsg-4 [universe].
I: why [universe] -> libjessie-ocaml-dev_2.18.dfsg-4 [universe].
I: why [universe] -> libwhy-coq_2.18.dfsg-4 [universe].
** Changed in: why (Ubuntu)
Status: Confirmed => Fix Released
--
[3.11.1 transition][round 6/6] Please synchronize source package why from
Debian unstable in Karmic
https://bugs.launchpad.net/bugs/407697
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
