python3Packages.leanclient: 0.11.0 -> 0.12.0

This commit is contained in:
R. Ryantm
2026-07-14 05:40:40 +00:00
parent d95279435c
commit 8ce80b5e6d
@@ -14,14 +14,14 @@
buildPythonPackage (finalAttrs: {
pname = "leanclient";
version = "0.11.0";
version = "0.12.0";
pyproject = true;
src = fetchFromGitHub {
owner = "oOo0oOo";
repo = "leanclient";
tag = "v${finalAttrs.version}";
hash = "sha256-fNtgJqGtAR9fRvGW0eN8VZYHZET/D/bL1/xkzlDtlEQ=";
hash = "sha256-h90AMErcwdmHfIBgFerFEaUwjfRkJMl1iesXjtEpdlA=";
};
build-system = [ hatchling ];