diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2021-10-30 11:44:46 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-30 11:44:46 -0500 |
| commit | dbe6b53a933a0b92e0773752edc5abd6192ca364 (patch) | |
| tree | a3cfe4480a50234252114d1aed3a11f502575638 /pkgs/development/coq-modules | |
| parent | 8fe8d78df5ffd653c3aedf38ed97744d6fe49875 (diff) | |
| parent | 290b16bfe525fd80b7ad83c2027f1a26e64cb76e (diff) | |
Merge pull request #142072 from Zimmi48/fix-zorns-lemma-before-9.0
Fix zorns-lemma before 9.0.
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/zorns-lemma/default.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pkgs/development/coq-modules/zorns-lemma/default.nix b/pkgs/development/coq-modules/zorns-lemma/default.nix index cf3e9ca15db8c..b003e15891d48 100644 --- a/pkgs/development/coq-modules/zorns-lemma/default.nix +++ b/pkgs/development/coq-modules/zorns-lemma/default.nix @@ -1,9 +1,8 @@ { lib, mkCoqDerivation, coq, version ? null }: with lib; -mkCoqDerivation { +(mkCoqDerivation { pname = "zorns-lemma"; - repo = "topology"; releaseRev = v: "v${v}"; @@ -38,4 +37,4 @@ mkCoqDerivation { maintainers = with maintainers; [ siraben ]; license = licenses.lgpl21Plus; }; -} +}).overrideAttrs({version, ...}: if versions.isGe "9.0" version then { repo = "topology"; } else {}) |