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

vieta <[email protected]> Fri, 12 Sep 2025 10:29:34 +0200

Newsgroups	gmane.comp.lang.mercury.general
Message-ID	<[email protected]>

Dear Mercury users, I am curious about how many of you are using Mercury 
on the Nix package manager.

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

https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/mercury/default.nix


Best regards,

Vieta

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