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

Volker Wysk post at volker-wysk.de
Mon Sep 15 21:23:09 AEST 2025


Hi Vieta, Frank and all.

I've done some reading about Nix. I've made a draft for the Mercury
ressources list:

---------------------------------
### Nix / NixOS

The Nix technology is quite involved and very powerful.

Nix is a package manager for Unix-like systems. It's based on a
purpose-built, declarative, purely functional programming language, in
which package receipes are written. These receipes are used to 
configure packages. They are collected in the Nixpkgs repository.

This is the main package repository built upon the Nix package
manager. It contains more than 122,000 packages and has a higher
number of up-to-date packages than any other package repository.

NixOS is a Linux distribution based on Nix.

See the [Nix (package
manager)](https://en.wikipedia.org/wiki/Nix_(package_manager) and
[NixOS](https://en.wikipedia.org/wiki/NixOS] pages in Wikipedia for
more information.

#### A flake for the Nix package manager

Frank Wijnans has written a so-called
[flake](https://en.wikipedia.org/wiki/NixOS#Flakes) for the Mercury
extra libraries.

It's located here: 
[https://github.com/frank87/mercury_flake](https://github.com/frank87/mercury_flake)
.
---------------------------------

I only partially comprehend what Nix is about. I'd be grateful if you two
could test read the above for errors.

@Vieta: Sorry, I really don't get what you have built.

Cheers,
Volker


Am Freitag, dem 12.09.2025 um 10:29 +0200 schrieb vieta:
> 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
> users at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/users


More information about the users mailing list