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

coq-lsp: 0.2.4->0.2.5.

Browse Source
This commit is contained in:
Arthur Azevedo de Amorim
2025-12-13 13:35:54 -05:00
parent 1ba301cb3a
commit d96b6f3ebf
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/coq-lsp/default.nix
+6 -3
View File
@@ -23,6 +23,9 @@
release."0.2.4+8.20".sha256 = "sha256-mQxh2/Cb5hZ99TtqWYLpZ/BRPrm5GRDYPDfKlCTK9N4=";
release."0.2.4+9.0".sha256 = "sha256-ICPdNxJODNqmUErdTkNk7s52MRuINWLbAPm0rmXFW18=";
release."0.2.4+9.1".sha256 = "sha256-HNHA2vbX70oZkd4QtbP28UbTRXatqxJdxw1OWDVDE8U=";
release."0.2.5+8.20".sha256 = "sha256-OduwwJESXVEkeX+w8nLEhLUtPo4YGDPj21yWyc1uv3U=";
release."0.2.5+9.0".sha256 = "sha256-nbMf7xziBYoBH0F8YBUEybCHSdsaOxlqXnyngeQNg3c=";
release."0.2.5+9.1".sha256 = "sha256-PzIgo15zI3JjibT8GzyHdTwofd3IF6eRmUc47NveH70=";
inherit version;
defaultVersion =
@@ -46,15 +49,15 @@
}
{
case = isEq "8.20";
out = "0.2.4+8.20";
out = "0.2.5+8.20";
}
{
case = isEq "9.0";
out = "0.2.4+9.0";
out = "0.2.5+9.0";
}
{
case = isEq "9.1";
out = "0.2.4+9.1";
out = "0.2.5+9.1";
}
] null;