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