diff options
author | Felix Buehler <account@buehler.rocks> | 2023-03-05 22:08:45 +0100 |
---|---|---|
committer | Felix Buehler <account@buehler.rocks> | 2023-03-06 22:40:04 +0100 |
commit | d10e69c86bcd415f5c4347d3c6b981241e913465 (patch) | |
tree | 2ceccb33151ff07aa71680771ca6b6d549641164 /pkgs/build-support/coq/meta-fetch | |
parent | 794f34657e066a5e8cc4bb34491fee02240c6ac4 (diff) | |
download | nixpkgs-d10e69c86bcd415f5c4347d3c6b981241e913465.tar nixpkgs-d10e69c86bcd415f5c4347d3c6b981241e913465.tar.gz nixpkgs-d10e69c86bcd415f5c4347d3c6b981241e913465.tar.bz2 nixpkgs-d10e69c86bcd415f5c4347d3c6b981241e913465.tar.lz nixpkgs-d10e69c86bcd415f5c4347d3c6b981241e913465.tar.xz nixpkgs-d10e69c86bcd415f5c4347d3c6b981241e913465.tar.zst nixpkgs-d10e69c86bcd415f5c4347d3c6b981241e913465.zip |
treewide: deprecate isNull
https://nixos.org/manual/nix/stable/language/builtins.html#builtins-isNull
Diffstat (limited to 'pkgs/build-support/coq/meta-fetch')
-rw-r--r-- | pkgs/build-support/coq/meta-fetch/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/build-support/coq/meta-fetch/default.nix b/pkgs/build-support/coq/meta-fetch/default.nix index d5fe31c6ccf..82c29fb760b 100644 --- a/pkgs/build-support/coq/meta-fetch/default.nix +++ b/pkgs/build-support/coq/meta-fetch/default.nix @@ -8,13 +8,13 @@ let fmt = if args?sha256 then "zip" else "tarball"; pr = match "^#(.*)$" rev; url = switch-if [ - { cond = isNull pr && !isNull (match "^github.*" domain); + { cond = pr == null && (match "^github.*" domain) != null; out = "https://${domain}/${owner}/${repo}/archive/${rev}.${ext}"; } - { cond = !isNull pr && !isNull (match "^github.*" domain); + { cond = pr != null && (match "^github.*" domain) != null; out = "https://api.${domain}/repos/${owner}/${repo}/${fmt}/pull/${head pr}/head"; } - { cond = isNull pr && !isNull (match "^gitlab.*" domain); + { cond = pr == null && (match "^gitlab.*" domain) != null; out = "https://${domain}/${owner}/${repo}/-/archive/${rev}/${repo}-${rev}.${ext}"; } - { cond = !isNull (match "(www.)?mpi-sws.org" domain); + { cond = (match "(www.)?mpi-sws.org" domain) != null; out = "https://www.mpi-sws.org/~${owner}/${repo}/download/${repo}-${rev}.${ext}";} ] (throw "meta-fetch: no fetcher found for domain ${domain} on ${rev}"); fetch = x: if args?sha256 then fetchzip (x // { inherit sha256; }) else fetchTarball x; |