From f52a17ea14146de31d711b47891296a34c59283b Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Mon, 21 Oct 2024 18:56:17 +0200 Subject: [PATCH] coqPackages.vscoq-language-server: 2.1.7 -> 2.2.1 --- .../development/coq-modules/vscoq-language-server/default.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/vscoq-language-server/default.nix b/pkgs/development/coq-modules/vscoq-language-server/default.nix index 35bccb08c015..c71d96bef3c7 100644 --- a/pkgs/development/coq-modules/vscoq-language-server/default.nix +++ b/pkgs/development/coq-modules/vscoq-language-server/default.nix @@ -3,7 +3,7 @@ let ocamlPackages = coq.ocamlPackages; defaultVersion = with lib.versions; lib.switch coq.coq-version [ - { case = range "8.18" "8.20"; out = "2.1.7"; } + { case = range "8.18" "8.20"; out = "2.2.1"; } { case = range "8.18" "8.19"; out = "2.1.2"; } { case = isEq "8.18"; out = "2.0.3+coq8.18"; } ] null; @@ -17,6 +17,8 @@ let ocamlPackages = coq.ocamlPackages; release."2.1.4".sha256 = "sha256-Vwve1sCg5OsGmhDLlOyGCwP6A8g618IzD79vLPw/JtQ="; release."2.1.7".rev = "v2.1.7"; release."2.1.7".sha256 = "sha256-HsLv2ziPIUK6Q5/xz8ZvaGWggUCK1AKv47U5M7SCcKU="; + release."2.2.1".rev = "v2.2.1"; + release."2.2.1".sha256 = "sha256-miIVAv/8jlP1pXnoK1MWz4O6nlmb309a8UjcCivbiB4="; inherit location; }); fetched = fetch (if version != null then version else defaultVersion); in