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

[David MENTRÉ]

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

[Steve Langasek (vorlon)]

kicking back to ubuntu-universe-sponsors for approval.

[Andrea Gasparini (gaspa)]

Ack!

[Mehdi (mehdid)]

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,

[Mehdi (mehdid)]

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.

[David MENTRÉ (dmentre)]

Hello Mehdi,

About "Whishlst" status: this is a way Andrea is keeping status of the
bug.

Mehdi <email address hidden> 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 usable.

The purpose of this bug is precisely to request such a rebuilt of the
package (which is done automatically after synchronization).

Yours,
d.
--
GPG/PGP key: A3AD7A2A -- <email address hidden>
 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A

[Jamie Strandboge (jdstrand)]

[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].