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