nixpkgs-suyu/pkgs/development/idris-modules
..
default.nix
with-packages-wrapper.nix