/pkgs/development/tools/agda-pkg/
../
default.nix