Re: [m-users.] How many users using mercury on Nixpkgs

Anders Lundstedt <[email protected]> Fri, 12 Sep 2025 16:51:16 +0200
Newsgroups gmane.comp.lang.mercury.general
Message-ID <CANGMbaaU1jgh8Xvy4Rjukt7eVyahz5AbtFE2aQ9a1Kd1RO0mgQ@mail.gmail.com>
Dear all,


On Fri, Sep 12, 2025 at 10:47 AM vieta <[email protected]> wrote:
>
> Dear Mercury users, I am curious about how many of you are using Mercury
> on the Nix package manager.

I use the Mercury package! Many thanks for maintaining it!

> I am currently maintaining it on Nix and trying to sizing down the build
> dependency.

- When I tried earlier this week I noticed that Mercury from unstable
did not build on Linux-x86_64. (No problem, just switched to using
Mercury from stable instead.) Was this perhaps due to your current
downsizing of the build dependencies?

- Will a downsized set of build dependencies affect me as a package
user in any way?

- As a very thankful user of a what I only can assume is a
well-maintained package, can I help with the downsizing in any way? I
have access to Apple silicon and to Linux-x86_64 if you need someone
to try building on one or both of those platforms.


On Fri, Sep 12, 2025 at 3:25 PM Volker Wysk <[email protected]> wrote:
> Thanks vor sharing! I'd like to add this to the Mercury ressources list.
>
> So you have written a so-called "flake" for use with Nix. Who should I
> credit it to? Your Email address only has one word, "vieta".

The contribution under discussion is that vieta maintains the Mercury
package in the nixpkgs package collection. I think Mercury's presence
in nixpkgs collection worth mentioning on the Mercury resources list.
vieta probably can provide you with a suitable wording to use for the
resources list.

A flake-specific contribution, already added to the  was discussed
roughly a year ago:

https://lists.mercurylang.org/archives/users/2024-October/thread.html



Best,

Anders
_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users