[m-users.] Mercury ROTD packages for Debian systems

[Julien Fischer]

On Sun, 22 Jan 2023, Volker Wysk wrote:

> I found this on the http://dl.mercurylang.org/deb/ page:
>
> Mercury versions:
>    Mercury 22.01 (mercury-* packages)
>    Mercury ROTD 2020-05-31 (mercury-rotd-* packages)
>
> Is the date of the packaged ROTD version really in 2020, or is the website
> out of date? If it really is, I guess it should be removed, for having less
> confusion.

The Debian packages were built by Paul Bone; I'm not sure if he built
that ROTD package as a one-off or if he intended to update it.

Julien.