<!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body> <div class="moz-cite-prefix">Op 13-09-2025 om 14:48 schreef Volker Wysk: </div> <blockquote type="cite" cite="mid:200f2e7b5ae6d5ca346ede118aee2772b8213e27.camel@volker-wysk.de"> <pre wrap="" class="moz-quote-pre">This would be helpful. @Vieta: Could you explain in a few sentences what the nixpkgs package collection is, how your Mercury flake(?) fits in and how it is used. So someone without knowledge of Nix gets the big picture. Just a few sentences.</pre> </blockquote> Nixpkgs is the main software repository in Nixos, the linux-variant build on nix. It's true, every nixos user can start playing around with mercury after typing: <pre class="code-block shell-command">nix-shell -p mercury (it starts an environment where mercury is available)</pre> <blockquote type="cite" cite="mid:200f2e7b5ae6d5ca346ede118aee2772b8213e27.camel@volker-wysk.de"> <blockquote type="cite"> <pre wrap="" class="moz-quote-pre">A flake-specific contribution, already added to the was discussed roughly a year ago: <a class="moz-txt-link-freetext" href="https://lists.mercurylang.org/archives/users/2024-October/thread.html" moz-do-not-send="true">https://lists.mercurylang.org/archives/users/2024-October/thread.html</a> </pre> </blockquote> <pre wrap="" class="moz-quote-pre">I know of this. It's already in the Mercury ressources list. The entry might be inaccurate. If so, anyone with Nix experience, please send me a note. This is the text: "A flake for the Nix package manager "Frank Wijnans has built a flake (a receipt for compiling and building) of the extra libraries for the NixOS Linux distribution. This requires the Nix package manager, which works on NixOS and on almost all (if not all) Linux distrubitions, and on MacOS. "It’s located here: <a class="moz-txt-link-freetext" href="https://github.com/frank87/mercury_flake" moz-do-not-send="true">https://github.com/frank87/mercury_flake</a>." </pre> </blockquote> That's a project I made. It's a flake for building mercury stuff. I made it looking into the mercury examples. The flake is an option in nix, to add a nix-file to your sources(named flake.nix), making it an consistent unit. Greetings, Frank </body> </html>