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