[Bug 407697]

[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 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
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs