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