Re: [m-users.] Mercury ROTD packages for Debian systems
Julien Fischer <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
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. _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users