coqPackages.addition-chains: enable for Coq 8.16
This commit is contained in:
parent
18aa936e06
commit
726422b4fe
|
@ -13,7 +13,7 @@ mkCoqDerivation {
|
|||
|
||||
inherit version;
|
||||
defaultVersion = with versions; switch coq.coq-version [
|
||||
{ case = range "8.13" "8.15"; out = "0.6"; }
|
||||
{ case = range "8.13" "8.16"; out = "0.6"; }
|
||||
{ case = range "8.11" "8.12"; out = "0.4"; }
|
||||
] null;
|
||||
|
||||
|
|
Loading…
Reference in a new issue