Public bug reported: Binary package hint: mercury
The currently packaged mercury is version 0.11.0.rotd.20040511, not the latest and not a stable one. "rotd" means ""release of the day", also know as "daily snapshot". Current stable version is 0.13.1. See http://www.cs.mu.oz.au/research/mercury/download/release-0.13.html for release notes and changelog. If for any reason the 0.13.1 can't be packaged for Ubuntu it is probably better to package the old stable 0.11.0 release and not a ROTD. ** Affects: mercury (Ubuntu) Importance: Undecided Status: Unconfirmed ** Tags added: upgrade -- Upgrade mercury to stable release, possibly latest. https://launchpad.net/bugs/94720 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
