python3Packages.leanclient: 0.11.0 -> 0.12.0 (#541699)

2026-07-14 18:31:43 +00:00
parent 4216bcbaba 8ce80b5e6d
commit ca4fb3d466
1 changed files with 2 additions and 2 deletions
@@ -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 ];