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