python3Packages.leanclient: 0.9.4 -> 0.10.0 (#516710)

This commit is contained in:
Fabian Affolter
2026-05-05 07:02:42 +00:00
committed by GitHub
@@ -14,14 +14,14 @@
buildPythonPackage (finalAttrs: {
pname = "leanclient";
version = "0.9.4";
version = "0.10.0";
pyproject = true;
src = fetchFromGitHub {
owner = "oOo0oOo";
repo = "leanclient";
tag = "v${finalAttrs.version}";
hash = "sha256-BmIvjFhhlXnyDZWNUZAq41TA+Q5v9UW63rljoeYl44Q=";
hash = "sha256-v6Z2uC3cnGRp+0xuX79hqPz95xxZ4qYNx5sHBrykI/M=";
};
build-system = [ hatchling ];