coqPackages.gaia-hydras: enable for Coq 8.16
This commit is contained in:
parent
ac447c9772
commit
bdc09cc2e1
|
@ -11,7 +11,7 @@ with lib; mkCoqDerivation rec {
|
|||
|
||||
inherit version;
|
||||
defaultVersion = with versions; switch [coq.coq-version mathcomp.version] [
|
||||
{ cases = [ (range "8.14" "8.15") (isGe "1.12.0") ]; out = "0.6"; }
|
||||
{ cases = [ (range "8.14" "8.16") (isGe "1.12.0") ]; out = "0.6"; }
|
||||
{ cases = [ (range "8.13" "8.14") (isGe "1.12.0") ]; out = "0.5"; }
|
||||
] null;
|
||||
|
||||
|
|
Loading…
Reference in a new issue