gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vsrocq-language-server: 2.3.4 → 2.4.3 (#523053)

Browse Source
This commit is contained in:
Théo Zimmermann
2026-06-01 08:48:52 +00:00
committed by GitHub
parent 05f0fc6f6a 9f822bb13b
commit ef3f1670a7
2 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/editors/vscode/extensions/default.nix
+2 -2
View File
@@ -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";
pkgs/development/rocq-modules/vsrocq-language-server/default.nix
+3 -1
View File
@@ -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);