diff options
Diffstat (limited to 'nixpkgs/pkgs/development/coq-modules/zorns-lemma/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/coq-modules/zorns-lemma/default.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/nixpkgs/pkgs/development/coq-modules/zorns-lemma/default.nix b/nixpkgs/pkgs/development/coq-modules/zorns-lemma/default.nix index cf3e9ca15db8..b003e15891d4 100644 --- a/nixpkgs/pkgs/development/coq-modules/zorns-lemma/default.nix +++ b/nixpkgs/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 {}) |