pyrox.dev
coqPackages.semantics: enable for Coq 8.16
authored by Vincent Laporte and committed by Vincent Laporte b03dc538 082dc9ab
+1
-1
pkgs/development/coq-modules/semantics/default.nix
+1
-1
pkgs/development/coq-modules/semantics/default.nix
···
16
16
17
17
inherit version;
18
18
defaultVersion = with versions; switch coq.coq-version [
19
-
{ case = range "8.10" "8.15"; out = "8.14.0"; }
19
+
{ case = range "8.10" "8.16"; out = "8.14.0"; }
20
20
{ case = "8.9"; out = "8.9.0"; }
21
21
{ case = "8.8"; out = "8.8.0"; }
22
22
{ case = "8.7"; out = "8.7.0"; }