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

rocqPackages.vsrocq-language-server: 2.3.4 -> 2.4.3

Browse Source
This commit is contained in:
SandaruKasa
2026-05-22 17:11:24 +03:00
parent ae82c67a8e
commit 9f822bb13b
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
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);