/pkgs/development/compilers/Agda-executable/
../
default.nix