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