From ae82c67a8e2537deeb619b9676c44fe20e2bcbe1 Mon Sep 17 00:00:00 2001 From: "R. Ryantm" Date: Mon, 20 Apr 2026 02:20:36 +0000 Subject: [PATCH 1/2] vscode-extensions.rocq-prover.vsrocq: 2.3.4 -> 2.4.3 --- pkgs/applications/editors/vscode/extensions/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/applications/editors/vscode/extensions/default.nix b/pkgs/applications/editors/vscode/extensions/default.nix index 97d492a6b34e..dbcf4236cc3b 100644 --- a/pkgs/applications/editors/vscode/extensions/default.nix +++ b/pkgs/applications/editors/vscode/extensions/default.nix @@ -3967,8 +3967,8 @@ let publisher = "rocq-prover"; name = "vsrocq"; # When updating the version here, also update the language server vsrocq-language-server - version = "2.3.4"; - hash = "sha256-2zYoCUtyhboQt68UJEmWOvrTrIOV2QmpaXU5mUhJfsA="; + version = "2.4.3"; + hash = "sha256-o9rsSDCDYRWZQBMDA7DtWay50tBI76kw7H7CivrZpKo="; }; meta = { description = "VsRocq is an extension for Visual Studio Code with support for the Rocq Prover"; From 9f822bb13bb5fa744b61eaf1297b42338eaa3888 Mon Sep 17 00:00:00 2001 From: SandaruKasa Date: Fri, 22 May 2026 17:11:24 +0300 Subject: [PATCH 2/2] 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);