pyrox.dev
lol
coqPackages.vscoq-language-server: 2.1.7 -> 2.2.1 (#350287)
authored by
Arne Keller
and committed by
GitHub
af49eb21
3a33ce7b
+3
-1
+3
-1
pkgs/development/coq-modules/vscoq-language-server/default.nix
+3
-1
pkgs/development/coq-modules/vscoq-language-server/default.nix
···
3
3
4
4
let ocamlPackages = coq.ocamlPackages;
5
5
defaultVersion = with lib.versions; lib.switch coq.coq-version [
6
-
{ case = range "8.18" "8.20"; out = "2.1.7"; }
6
+
{ case = range "8.18" "8.20"; out = "2.2.1"; }
7
7
{ case = range "8.18" "8.19"; out = "2.1.2"; }
8
8
{ case = isEq "8.18"; out = "2.0.3+coq8.18"; }
9
9
] null;
···
17
17
release."2.1.4".sha256 = "sha256-Vwve1sCg5OsGmhDLlOyGCwP6A8g618IzD79vLPw/JtQ=";
18
18
release."2.1.7".rev = "v2.1.7";
19
19
release."2.1.7".sha256 = "sha256-HsLv2ziPIUK6Q5/xz8ZvaGWggUCK1AKv47U5M7SCcKU=";
20
+
release."2.2.1".rev = "v2.2.1";
21
+
release."2.2.1".sha256 = "sha256-miIVAv/8jlP1pXnoK1MWz4O6nlmb309a8UjcCivbiB4=";
20
22
inherit location; });
21
23
fetched = fetch (if version != null then version else defaultVersion);
22
24
in