[Bug 533753] [OCaml 3.11.2 transition][round 6/6] Please sync packages involved in OCaml transition from Debian (sid) to lucid (universe)
James Westby
jw+debian at jameswestby.net
Mon Mar 22 19:21:01 GMT 2010
[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
Package Archive Administrators, which is a direct subscriber.
More information about the ubuntu-archive
mailing list