/pkgs/development/compilers/idris/
../
default.nix
wrapper.nix