python313Packages.model-checker: 0.6.10 -> 0.7.1 (#372061)

2025-01-08 10:52:05 +01:00
parent ec30e24658 d536a9d842
commit d5be67d52f
1 changed files with 2 additions and 2 deletions
@@ -10,7 +10,7 @@

 buildPythonPackage rec {
  pname = "model-checker";
-  version = "0.6.10";
+  version = "0.7.1";
  pyproject = true;

  disabled = pythonOlder "3.8";
@@ -18,7 +18,7 @@ buildPythonPackage rec {
  src = fetchPypi {
    pname = "model_checker";
    inherit version;
-    hash = "sha256-L0dtNsuU6JQl0PRHB7UayLCdPwxk70FZYNomMUy/wW4=";
+    hash = "sha256-xwF0KCFso1Yno8mUFnVgMbVbhanvANsDtvS/WaUgSwI=";
  };

  # z3 does not provide a dist-info, so python-runtime-deps-check will fail