nix-super/corepkgs/config.nix.in