pyrox.dev
python3Packages.model-checker: 0.9.21 -> 0.9.26 (#421132)
authored by Fabian Affolter and committed by GitHub 22f5ba91 5a8fc5aa
+2
-2
pkgs/development/python-modules/model-checker/default.nix
+2
-2
pkgs/development/python-modules/model-checker/default.nix
···
11
12
buildPythonPackage rec {
13
pname = "model-checker";
14
-
version = "0.9.21";
15
pyproject = true;
16
17
disabled = pythonOlder "3.8";
···
19
src = fetchPypi {
20
pname = "model_checker";
21
inherit version;
22
-
hash = "sha256-13pGiFrh2EtgSpBZbwWRZh+W9n18Qrikrsc/MBhbBAM=";
23
};
24
25
# z3 does not provide a dist-info, so python-runtime-deps-check will fail
···
11
12
buildPythonPackage rec {
13
pname = "model-checker";
14
+
version = "0.9.26";
15
pyproject = true;
16
17
disabled = pythonOlder "3.8";
···
19
src = fetchPypi {
20
pname = "model_checker";
21
inherit version;
22
+
hash = "sha256-UPqTdKhXDb1D8Ig1dMk8QIiLuyZPQxMp/P1pAKqJ+Bs=";
23
};
24
25
# z3 does not provide a dist-info, so python-runtime-deps-check will fail