nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 16:33:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #181910 from vbgl/coq-fourcolor-1.2.5

Browse Source 
coqPackages.fourcolor: 1.2.4 → 1.2.5
This commit is contained in:
Ben Siraphob 2022-07-20 06:46:50 -07:00 committed by GitHub
commit 239f2a4be4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/coq-modules/fourcolor/default.nix
View File

@ -5,14 +5,16 @@ mkCoqDerivation {
pname = "fourcolor";
owner = "math-comp";
release."1.2.3".rev = "v1.2.3";
releaseRev = v: "v${v}";
release."1.2.3".sha256 = "sha256-gwKfUa74fIP7j+2eQgnLD7AswjCtOFGHGaIWb4qI0n4=";
release."1.2.4".rev = "v1.2.4";
release."1.2.4".sha256 = "sha256-iSW2O1kuunvOqTolmGGXmsYTxo2MJYCdW3BnEhp6Ksg=";
release."1.2.5".sha256 = "sha256-3qOPNCRjGK2UdHGMSqElpIXhAPVCklpeQgZwf9AFals=";
inherit version;
defaultVersion = with versions; switch [ coq.version mathcomp.version ] [
{ cases = [ (isGe "8.11") (isGe "1.11.0") ]; out = "1.2.4"; }
{ cases = [ (isGe "8.11") (isGe "1.12") ]; out = "1.2.5"; }
{ cases = [ (isGe "8.11") (range "1.11" "1.14") ]; out = "1.2.4"; }
{ cases = [ (isLe "8.13") (pred.inter (isGe "1.11.0") (isLt "1.13")) ]; out = "1.2.3"; }
] null;