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