diff options
| author | Philip Taron <philip.taron@gmail.com> | 2024-03-14 08:41:35 -0700 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2024-03-19 22:31:19 +0100 |
| commit | c4d420345dd9cd05fadbd5472025c2c52ca70d45 (patch) | |
| tree | 6816d01eb07338ff839f1cf12cc4f13b8ac0f92a /pkgs/build-support/coq | |
| parent | 102a33d30eb2bb015b264992d46beda33fdac58f (diff) | |
Avoid top-level `with ...;` in pkgs/build-support/coq/extra-lib.nix
Diffstat (limited to 'pkgs/build-support/coq')
| -rw-r--r-- | pkgs/build-support/coq/extra-lib.nix | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/pkgs/build-support/coq/extra-lib.nix b/pkgs/build-support/coq/extra-lib.nix index 3c226b4920b62..94de7c0113d84 100644 --- a/pkgs/build-support/coq/extra-lib.nix +++ b/pkgs/build-support/coq/extra-lib.nix @@ -1,5 +1,25 @@ { lib }: -with builtins; with lib; recursiveUpdate lib (rec { + +let + inherit (lib) + all + concatStringsSep + findFirst + flip + getAttr + head + isFunction + length + recursiveUpdate + splitVersion + tail + take + versionAtLeast + versionOlder + zipListsWith + ; +in +recursiveUpdate lib (rec { versions = let |