[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
Hello Mehdi,
About Whishlst status: this is a way Andrea is keeping status of the
bug.
Mehdi mehdi.dog...@pps.jussieu.fr writes:
Why has a binary package libjessie-ocaml-dev which is an OCaml library.
It has to be rebuilt since OCaml has been updated in Karmic. Otherwise,
the library is not
Hi,
I don't think that this bug is a wichlist bug:
Coq has been updated in Ubuntu Karmic. Hence, Why has to be rebuilt
against the latest Coq package. Otherwise, it will be uninstallable.
This sync is part of the Karmic OCaml transition.
Cheers,
--
[3.11.1 transition][round 6/6] Please
An additional argument:
Why has a binary package libjessie-ocaml-dev which is an OCaml library.
It has to be rebuilt since OCaml has been updated in Karmic. Otherwise,
the library is not usable.
--
[3.11.1 transition][round 6/6] Please synchronize source package why from
Debian unstable in
kicking back to ubuntu-universe-sponsors for approval.
--
[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
Ack!
** Changed in: why (Ubuntu)
Status: New = Confirmed
** Changed in: why (Ubuntu)
Importance: Undecided = Wishlist
--
[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
Public bug reported:
Binary package hint: why
Hello,
For round 6 of transition to OCaml 3.11.1 in Karmic, we need to synchronize
latest why source package from Debian unstable:
synchronize why (2.18.dfsg-4 - 2.18.dfsg-5)
Could somebody do this?
Many thanks in advance!
Yours,
david
**