NixOS, a Linux distribution based on the Nix package manager