Avoid top-level `with ...;` in pkgs/build-support/coq/extra-lib.nix

2024-03-14 08:41:35 -07:00 · 2024-03-14 08:41:35 -07:00 · c4d420345d
parent 102a33d30e
commit c4d420345d
1 changed files with 21 additions and 1 deletions
--- 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