diff options
| author | Fabian Affolter <mail@fabian-affolter.ch> | 2025-04-16 10:11:43 +0200 |
|---|---|---|
| committer | Fabian Affolter <mail@fabian-affolter.ch> | 2025-04-16 10:11:43 +0200 |
| commit | ecbcd774a2ec372fce09e615016b86b4a3bec3ca (patch) | |
| tree | 855f92876c028a83d7b110ae4641fe72804056e4 /pkgs/development/python-modules | |
| parent | 186a8215eca29bc167188e0e9262de625274d0da (diff) | |
python313Packages.model-checker: 0.9.11 -> 0.9.16
Diffstat (limited to 'pkgs/development/python-modules')
| -rw-r--r-- | pkgs/development/python-modules/model-checker/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/python-modules/model-checker/default.nix b/pkgs/development/python-modules/model-checker/default.nix index d20b33509c34..c4041838f53f 100644 --- a/pkgs/development/python-modules/model-checker/default.nix +++ b/pkgs/development/python-modules/model-checker/default.nix @@ -11,7 +11,7 @@ buildPythonPackage rec { pname = "model-checker"; - version = "0.9.11"; + version = "0.9.16"; pyproject = true; disabled = pythonOlder "3.8"; @@ -19,7 +19,7 @@ buildPythonPackage rec { src = fetchPypi { pname = "model_checker"; inherit version; - hash = "sha256-MZchcU9ijdHF9bLF4dwF71fqRNuRO9+vF54dJsVZzyY="; + hash = "sha256-AEI92rwUIiK337Jg+hLXWE2L9M/mdcDbtG4lm3x6SHY="; }; # z3 does not provide a dist-info, so python-runtime-deps-check will fail |