From 95ef86173711baf3af8c653074f4163dced4db76 Mon Sep 17 00:00:00 2001 From: "R. Ryantm" Date: Thu, 18 Jun 2026 03:10:09 +0000 Subject: [PATCH] python3Packages.leanclient: 0.10.0 -> 0.11.0 --- pkgs/development/python-modules/leanclient/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/python-modules/leanclient/default.nix b/pkgs/development/python-modules/leanclient/default.nix index 2e49028121ba..e1f138c1d6ae 100644 --- a/pkgs/development/python-modules/leanclient/default.nix +++ b/pkgs/development/python-modules/leanclient/default.nix @@ -14,14 +14,14 @@ buildPythonPackage (finalAttrs: { pname = "leanclient"; - version = "0.10.0"; + version = "0.11.0"; pyproject = true; src = fetchFromGitHub { owner = "oOo0oOo"; repo = "leanclient"; tag = "v${finalAttrs.version}"; - hash = "sha256-v6Z2uC3cnGRp+0xuX79hqPz95xxZ4qYNx5sHBrykI/M="; + hash = "sha256-fNtgJqGtAR9fRvGW0eN8VZYHZET/D/bL1/xkzlDtlEQ="; }; build-system = [ hatchling ];