[Bug 407697] [3.11.1 transition][round 6/6] Please synchronize source package why from Debian unstable in Karmic

2009-08-15 Thread Jamie Strandboge
[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

Re: [Bug 407697]

2009-08-09 Thread David MENTRÉ
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

[Bug 407697]

2009-08-04 Thread Mehdi
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

[Bug 407697]

2009-08-04 Thread Mehdi
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

[Bug 407697] Re: [3.11.1 transition][round 6/6] Please synchronize source package why from Debian unstable in Karmic

2009-08-03 Thread Steve Langasek
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

[Bug 407697] Re: [3.11.1 transition][round 6/6] Please synchronize source package why from Debian unstable in Karmic

2009-08-03 Thread Andrea Gasparini
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

[Bug 407697] [NEW] [3.11.1 transition][round 6/6] Please synchronize source package why from Debian unstable in Karmic

2009-08-01 Thread David MENTRÉ
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 **