movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-10 11:45:45 +03:00
Code Issues Projects Releases Packages Wiki Activity

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

Browse source 
To be compatible with the update of the extension in #410879.
This commit is contained in:
Théo Zimmermann 2025-05-28 11:10:16 +02:00 • committed by Vincent Laporte
parent 15ac042535
commit cdd4fbac3d
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
pkgs/development/coq-modules/vscoq-language-server/default.nix
View file

@ -14,8 +14,8 @@ let
with lib.versions; with lib.versions;
lib.switch coq.coq-version [ lib.switch coq.coq-version [
{ {
case = isEq "9.0"; case = range "8.18" "9.0";
out = "2.2.5"; out = "2.2.6";
} }
{ {
case = range "8.18" "8.20"; case = range "8.18" "8.20";
@ -48,6 +48,8 @@ let
release."2.2.1".sha256 = "sha256-miIVAv/8jlP1pXnoK1MWz4O6nlmb309a8UjcCivbiB4="; release."2.2.1".sha256 = "sha256-miIVAv/8jlP1pXnoK1MWz4O6nlmb309a8UjcCivbiB4=";
release."2.2.5".rev = "v2.2.5"; release."2.2.5".rev = "v2.2.5";
release."2.2.5".sha256 = "sha256-XyIjwem/yS7UIpQATNixgKkrMOHHs74nkAOvpU5WG1k="; release."2.2.5".sha256 = "sha256-XyIjwem/yS7UIpQATNixgKkrMOHHs74nkAOvpU5WG1k=";
release."2.2.6".rev = "v2.2.6";
release."2.2.6".sha256 = "sha256-J8nRTAwN6GBEYgqlXa2kkkrHPatXsSObQg9QUQoZhgE=";
inherit location; inherit location;
}); });
fetched = fetch (if version != null then version else defaultVersion); fetched = fetch (if version != null then version else defaultVersion);