nixpkgs/pkgs/build-support/agda
..
default.nix