diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-01-27 17:21:31 +0700 |
---|---|---|
committer | Ben Siraphob <bensiraphob@gmail.com> | 2021-01-27 20:04:57 +0700 |
commit | 82454e9df8d54c5afaa23055b4fbc656e347c71e (patch) | |
tree | aae2915f55ccf23af875194cec840760713b6210 /pkgs/build-support/coq/meta-fetch | |
parent | 78b5cfc15a06c7c2aff2d7fd5597830bb1e0626d (diff) | |
download | nixpkgs-82454e9df8d54c5afaa23055b4fbc656e347c71e.tar nixpkgs-82454e9df8d54c5afaa23055b4fbc656e347c71e.tar.gz nixpkgs-82454e9df8d54c5afaa23055b4fbc656e347c71e.tar.bz2 nixpkgs-82454e9df8d54c5afaa23055b4fbc656e347c71e.tar.lz nixpkgs-82454e9df8d54c5afaa23055b4fbc656e347c71e.tar.xz nixpkgs-82454e9df8d54c5afaa23055b4fbc656e347c71e.tar.zst nixpkgs-82454e9df8d54c5afaa23055b4fbc656e347c71e.zip |
treewide: remove implicit use of stdenv.lib
Diffstat (limited to 'pkgs/build-support/coq/meta-fetch')
-rw-r--r-- | pkgs/build-support/coq/meta-fetch/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/build-support/coq/meta-fetch/default.nix b/pkgs/build-support/coq/meta-fetch/default.nix index 580d58395ef..b01ae72a208 100644 --- a/pkgs/build-support/coq/meta-fetch/default.nix +++ b/pkgs/build-support/coq/meta-fetch/default.nix @@ -1,5 +1,6 @@ -{ stdenv, fetchzip }@args: -let lib = import ../extra-lib.nix {inherit (args.stdenv) lib;}; in +{ lib, stdenv, fetchzip }@args: +let lib' = lib; in +let lib = import ../extra-lib.nix {lib = lib';}; in with builtins; with lib; let default-fetcher = {domain ? "github.com", owner ? "", repo, rev, name ? "source", sha256 ? null, ...}@args: |