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

lean-lsp-mcp: 0.26.1 -> 0.26.2

Browse Source
This commit is contained in:
R. Ryantm
2026-05-05 02:16:13 +00:00
parent 9753660c35
commit 76d4beb722
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/le/lean-lsp-mcp/package.nix
+2 -2
View File
@@ -6,7 +6,7 @@
python3Packages.buildPythonApplication (finalAttrs: {
pname = "lean-lsp-mcp";
version = "0.26.1";
version = "0.26.2";
pyproject = true;
__structuredAttrs = true;
@@ -15,7 +15,7 @@ python3Packages.buildPythonApplication (finalAttrs: {
owner = "oOo0oOo";
repo = "lean-lsp-mcp";
tag = "v${finalAttrs.version}";
hash = "sha256-OHbD6HujkXsqe8XpNr1bn+Pel2tbkX7tBapCcUe234o=";
hash = "sha256-NWX+r6hz04WnSkERqVj57ruw47RhqOeEofYUaxuU/uM=";
};
build-system = with python3Packages; [ setuptools ];