coqPackages.fourcolor: 1.2.4 → 1.2.5
This commit is contained in:
parent
c490f57e18
commit
f201cf5f78
|
@ -5,14 +5,16 @@ mkCoqDerivation {
|
||||||
pname = "fourcolor";
|
pname = "fourcolor";
|
||||||
owner = "math-comp";
|
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.3".sha256 = "sha256-gwKfUa74fIP7j+2eQgnLD7AswjCtOFGHGaIWb4qI0n4=";
|
||||||
release."1.2.4".rev = "v1.2.4";
|
|
||||||
release."1.2.4".sha256 = "sha256-iSW2O1kuunvOqTolmGGXmsYTxo2MJYCdW3BnEhp6Ksg=";
|
release."1.2.4".sha256 = "sha256-iSW2O1kuunvOqTolmGGXmsYTxo2MJYCdW3BnEhp6Ksg=";
|
||||||
|
release."1.2.5".sha256 = "sha256-3qOPNCRjGK2UdHGMSqElpIXhAPVCklpeQgZwf9AFals=";
|
||||||
|
|
||||||
inherit version;
|
inherit version;
|
||||||
defaultVersion = with versions; switch [ coq.version mathcomp.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"; }
|
{ cases = [ (isLe "8.13") (pred.inter (isGe "1.11.0") (isLt "1.13")) ]; out = "1.2.3"; }
|
||||||
] null;
|
] null;
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue