diff options
author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-10-18 12:00:54 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-10-18 12:01:37 +0200 |
commit | 290b16bfe525fd80b7ad83c2027f1a26e64cb76e (patch) | |
tree | 4820b5aa32749eab919bab95579c76b382c812e6 /pkgs/development/coq-modules | |
parent | 073fe478e1ba748731d537bd38eac0969f503143 (diff) | |
download | nixpkgs-290b16bfe525fd80b7ad83c2027f1a26e64cb76e.tar nixpkgs-290b16bfe525fd80b7ad83c2027f1a26e64cb76e.tar.gz nixpkgs-290b16bfe525fd80b7ad83c2027f1a26e64cb76e.tar.bz2 nixpkgs-290b16bfe525fd80b7ad83c2027f1a26e64cb76e.tar.lz nixpkgs-290b16bfe525fd80b7ad83c2027f1a26e64cb76e.tar.xz nixpkgs-290b16bfe525fd80b7ad83c2027f1a26e64cb76e.tar.zst nixpkgs-290b16bfe525fd80b7ad83c2027f1a26e64cb76e.zip |
coqPackages.zorns-lemma: fix build of versions pre-9.0
The source was fetched from the wrong location and thus did not match the provided sha.
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 cf3e9ca15db..b003e15891d 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 {}) |