python311Packages.model-checker: 0.3.13 -> 0.3.21

2024-05-22 13:26:54 +00:00
parent 2e23d9d281
commit 09c5beeda5
1 changed files with 2 additions and 2 deletions
@@ -10,7 +10,7 @@

 buildPythonPackage rec {
  pname = "model-checker";
-  version = "0.3.13";
+  version = "0.3.21";
  pyproject = true;

  disabled = pythonOlder "3.8";
@@ -18,7 +18,7 @@ buildPythonPackage rec {
  src = fetchPypi {
    pname = "model_checker";
    inherit version;
-    hash = "sha256-3LVes+orRl8tNhhbUUDa1VM/tFf8Y1pAzKknmrjA6e4=";
+    hash = "sha256-+bWJd1mntTH+Wi+mjDJl/TTDqGwihAFyKRlT4kR2sqo=";
  };

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