swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-21 04:49:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #142072 from Zimmi48/fix-zorns-lemma-before-9.0

Browse source 
Fix zorns-lemma before 9.0.
This commit is contained in:
Ben Siraphob 2021-10-30 11:44:46 -05:00 committed by GitHub
parent 8fe8d78df5 290b16bfe5
commit dbe6b53a93
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
pkgs/development/coq-modules/zorns-lemma/default.nix
View file

@ -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 {})