From 9f822bb13bb5fa744b61eaf1297b42338eaa3888 Mon Sep 17 00:00:00 2001 From: SandaruKasa Date: Fri, 22 May 2026 17:11:24 +0300 Subject: [PATCH] rocqPackages.vsrocq-language-server: 2.3.4 -> 2.4.3 --- .../rocq-modules/vsrocq-language-server/default.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/development/rocq-modules/vsrocq-language-server/default.nix b/pkgs/development/rocq-modules/vsrocq-language-server/default.nix index d5965f8a4e7e..b65295d03b47 100644 --- a/pkgs/development/rocq-modules/vsrocq-language-server/default.nix +++ b/pkgs/development/rocq-modules/vsrocq-language-server/default.nix @@ -17,7 +17,7 @@ let in lib.switch rocq-core.rocq-version [ # When updating the default version here, also update the VsRocq VS Code extension - (case (lib.versions.range "8.18" "9.1") "2.3.4") + (case (lib.versions.range "8.18" "9.1") "2.4.3") ] null; location = { domain = "github.com"; @@ -31,6 +31,8 @@ let release."2.3.3".sha256 = "sha256-wgn28wqWhZS4UOLUblkgXQISgLV+XdSIIEMx9uMT/ig="; release."2.3.4".rev = "v2.3.4"; release."2.3.4".sha256 = "sha256-v1hQjE8U1o2VYOlUjH0seIsNG+NrMNZ8ixt4bQNyGvI="; + release."2.4.3".rev = "v2.4.3"; + release."2.4.3".sha256 = "sha256-R/fpTiYZ9uvtKQcWD4jwUZPvUrcdvHc/wpoTrdkEQoQ="; inherit location; }; fetched = fetch (if version != null then version else defaultVersion);