pyrox.dev
lol
coqPackages.vscoq-language-server: 2.2.1 -> 2.2.5
https://github.com/coq-community/vscoq/releases
Support rocq 9.0
authored by
JeanCASPAR
and committed by
Vincent Laporte
6b31da91
476571ef
+6
pkgs/development/coq-modules/vscoq-language-server/default.nix
+6
pkgs/development/coq-modules/vscoq-language-server/default.nix
···
14
with lib.versions;
15
lib.switch coq.coq-version [
16
{
17
case = range "8.18" "8.20";
18
out = "2.2.1";
19
}
···
42
release."2.1.7".sha256 = "sha256-HsLv2ziPIUK6Q5/xz8ZvaGWggUCK1AKv47U5M7SCcKU=";
43
release."2.2.1".rev = "v2.2.1";
44
release."2.2.1".sha256 = "sha256-miIVAv/8jlP1pXnoK1MWz4O6nlmb309a8UjcCivbiB4=";
45
inherit location;
46
});
47
fetched = fetch (if version != null then version else defaultVersion);
···
14
with lib.versions;
15
lib.switch coq.coq-version [
16
{
17
+
case = isEq "9.0";
18
+
out = "2.2.5";
19
+
}
20
+
{
21
case = range "8.18" "8.20";
22
out = "2.2.1";
23
}
···
46
release."2.1.7".sha256 = "sha256-HsLv2ziPIUK6Q5/xz8ZvaGWggUCK1AKv47U5M7SCcKU=";
47
release."2.2.1".rev = "v2.2.1";
48
release."2.2.1".sha256 = "sha256-miIVAv/8jlP1pXnoK1MWz4O6nlmb309a8UjcCivbiB4=";
49
+
release."2.2.5".rev = "v2.2.5";
50
+
release."2.2.5".sha256 = "sha256-XyIjwem/yS7UIpQATNixgKkrMOHHs74nkAOvpU5WG1k=";
51
inherit location;
52
});
53
fetched = fetch (if version != null then version else defaultVersion);