diff options
author | Felix Buehler <account@buehler.rocks> | 2023-06-25 12:25:42 +0200 |
---|---|---|
committer | Anderson Torres <torres.anderson.85@protonmail.com> | 2023-06-25 11:01:34 -0300 |
commit | 6672dde558ea2bdbb1ff12009574e02a3dd758e3 (patch) | |
tree | 4d2eae2e923ef057389d2c5e03932c26782668f5 /pkgs/development/coq-modules | |
parent | fa6b5a3cb318d80d9c1da868c76271c3891e59a3 (diff) |
treewide: use optionalAttrs instead of 'else {}'
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/zorns-lemma/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/zorns-lemma/default.nix b/pkgs/development/coq-modules/zorns-lemma/default.nix index 19696bd81d4fd..8d57bc885c11a 100644 --- a/pkgs/development/coq-modules/zorns-lemma/default.nix +++ b/pkgs/development/coq-modules/zorns-lemma/default.nix @@ -36,4 +36,4 @@ maintainers = with maintainers; [ siraben ]; license = licenses.lgpl21Plus; }; -}).overrideAttrs({version, ...}: if lib.versions.isGe "9.0" version then { repo = "topology"; } else {}) +}).overrideAttrs({version, ...}: lib.optionalAttrs (lib.versions.isGe "9.0" version) { repo = "topology"; }) |