diff options
author | Dennis Gosnell <cdep.illabout@gmail.com> | 2022-09-11 08:41:55 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-11 08:41:55 -0400 |
commit | a3f5759e532bb3065ddfa828d6e8e587c274c597 (patch) | |
tree | d52306dc92db5f766332d2cd13063474f6310f09 /pkgs/top-level/coq-packages.nix | |
parent | a4f3bae604827028fb6347fc35fa96d3a4438154 (diff) | |
parent | 346454873ef27dc476fcbdab9a6b9188ab1d0fcb (diff) |
Merge pull request #188766 from cdepillabout/overrideCoqDerivation
coqPackages.mkCoqDerivation: add a lib.overrideCoqDerivation function
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
-rw-r--r-- | pkgs/top-level/coq-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index dbfc7bb1eddc8..51d883be39f1c 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -11,7 +11,7 @@ let metaFetch = import ../build-support/coq/meta-fetch/default.nix {inherit lib stdenv fetchzip; }; - mkCoqDerivation = callPackage ../build-support/coq {}; + mkCoqDerivation = lib.makeOverridable (callPackage ../build-support/coq {}); contribs = recurseIntoAttrs (callPackage ../development/coq-modules/contribs {}); |