Re: [m-users.] Mercury ROTD packages for Debian systems
fabrice nicol <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
Debian packages could automatically be created on a ROTD rolling basis by the GitHub actions script that releases Docker images. But I'm not quite sure the potential user base (a few dozen people at best) is wide enough for it to be worth the try (even though the download stats from DockerHub are above 1,000 pulls now). Fabrice On 22/01/2023 14:22, Julien Fischer wrote: > > > 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 _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users