coqPackages.Verdi: enable for Coq 8.16
This commit is contained in:
parent
0b1099dc6d
commit
9c0b43603a
|
@ -6,7 +6,7 @@ with lib; mkCoqDerivation {
|
|||
owner = "uwplse";
|
||||
inherit version;
|
||||
defaultVersion = with versions; switch coq.coq-version [
|
||||
{ case = range "8.7" "8.15"; out = "20211026"; }
|
||||
{ case = range "8.7" "8.16"; out = "20211026"; }
|
||||
{ case = range "8.7" "8.14"; out = "20210524"; }
|
||||
{ case = range "8.7" "8.13"; out = "20200131"; }
|
||||
{ case = "8.6"; out = "20181102"; }
|
||||
|
|
Loading…
Reference in a new issue