coqPackages.paco: enable for Coq 8.17
This commit is contained in:
parent
73bc86dc9c
commit
265f0cae75
|
@ -5,7 +5,7 @@ mkCoqDerivation {
|
||||||
owner = "snu-sf";
|
owner = "snu-sf";
|
||||||
inherit version;
|
inherit version;
|
||||||
defaultVersion = with lib.versions; lib.switch coq.coq-version [
|
defaultVersion = with lib.versions; lib.switch coq.coq-version [
|
||||||
{ case = range "8.12" "8.16"; out = "4.1.2"; }
|
{ case = range "8.12" "8.17"; out = "4.1.2"; }
|
||||||
{ case = range "8.9" "8.13"; out = "4.1.1"; }
|
{ case = range "8.9" "8.13"; out = "4.1.1"; }
|
||||||
{ case = range "8.6" "8.13"; out = "4.0.2"; }
|
{ case = range "8.6" "8.13"; out = "4.0.2"; }
|
||||||
{ case = isEq "8.5"; out = "1.2.8"; }
|
{ case = isEq "8.5"; out = "1.2.8"; }
|
||||||
|
|
Loading…
Reference in a new issue