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

coqPackages.vscoq-language-server: 2.2.6 -> 2.3.3

Browse Source 
To be compatible with VSRocq release.
This commit is contained in:
jstrattonsmith
2025-11-16 16:09:01 -05:00
parent d632d88f7d
commit d03b755910
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/vscoq-language-server/default.nix
+3
View File
@@ -16,6 +16,7 @@ let
in
with lib.versions;
lib.switch coq.coq-version [
(case (range "8.18" "9.1") "2.3.3")
(case (range "8.18" "9.1") "2.2.6")
(case (range "8.18" "8.20") "2.2.1")
(case (range "8.18" "8.19") "2.1.2")
@@ -41,6 +42,8 @@ let
release."2.2.5".sha256 = "sha256-XyIjwem/yS7UIpQATNixgKkrMOHHs74nkAOvpU5WG1k=";
release."2.2.6".rev = "v2.2.6";
release."2.2.6".sha256 = "sha256-J8nRTAwN6GBEYgqlXa2kkkrHPatXsSObQg9QUQoZhgE=";
release."2.3.3".rev = "v2.3.3";
release."2.3.3".sha256 = "sha256-wgn28wqWhZS4UOLUblkgXQISgLV+XdSIIEMx9uMT/ig=";
inherit location;
};
fetched = fetch (if version != null then version else defaultVersion);