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

[fabrice nicol]

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
> users at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/users