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