pyrox.dev
Merge pull request #327535 from r-ryantm/auto-update/python312Packages.model-checker
python312Packages.model-checker: 0.4.9 -> 0.4.12
authored by Fabian Affolter and committed by GitHub 69367538 3efa75f6
+2
-2
pkgs/development/python-modules/model-checker/default.nix
+2
-2
pkgs/development/python-modules/model-checker/default.nix
···
9
10
buildPythonPackage rec {
11
pname = "model-checker";
12
-
version = "0.4.9";
13
pyproject = true;
14
15
disabled = pythonOlder "3.8";
···
17
src = fetchPypi {
18
pname = "model_checker";
19
inherit version;
20
-
hash = "sha256-BUkbCllM2qN5yKTvte2iwnmBXQAzu2N8LTGRfvOTKUQ=";
21
};
22
23
# z3 does not provide a dist-info, so python-runtime-deps-check will fail
···
9
10
buildPythonPackage rec {
11
pname = "model-checker";
12
+
version = "0.4.12";
13
pyproject = true;
14
15
disabled = pythonOlder "3.8";
···
17
src = fetchPypi {
18
pname = "model_checker";
19
inherit version;
20
+
hash = "sha256-bgVtOpWx5jytVxSz/WKLqLm+hVKbwIy+Fy5nEj/Nwt4=";
21
};
22
23
# z3 does not provide a dist-info, so python-runtime-deps-check will fail