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

[Volker Wysk]

Hi

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.

Cheers
Volker
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://lists.mercurylang.org/archives/users/attachments/20230122/c8a46ed1/attachment.sig>