nixpkgs /pkgs /development /tools /misc /whatstyle