Ubuntu
mercury package

  1. Bug #94720
  2. Comment #0

Comment 0 for bug 94720

Revision history for this message
Pierre Buyle (mongolito404) wrote : Upgrade mercury to stable release, possibly latest.

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.