python311Packages.model-checker 0 -> 1
attrpath: python311Packages.model-checker
Checking auto update branch...
[version] 
[version] skipping because derivation has updateScript
[rustCrateVersion] 
[rustCrateVersion] No cargoSha256 or cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] Success
[updateScript] this derivation will be built:
  /nix/store/gri91j68sqizlwcp89y0pxj7sjdc7pjz-packages.json.drv
building '/nix/store/gri91j68sqizlwcp89y0pxj7sjdc7pjz-packages.json.drv'...

Going to be running update for following packages:
 - python3.11-model-checker-0.4.4

Press Enter key to continue...
Running update for:
 - python3.11-model-checker-0.4.4: UPDATING ...
 - python3.11-model-checker-0.4.4: DONE.

Packages updated!

Diff after rewrites:
diff --git a/pkgs/development/python-modules/model-checker/default.nix b/pkgs/development/python-modules/model-checker/default.nix
index 86a1567e5572..327281e2e972 100644
--- a/pkgs/development/python-modules/model-checker/default.nix
+++ b/pkgs/development/python-modules/model-checker/default.nix
@@ -10,7 +10,7 @@
 
 buildPythonPackage rec {
   pname = "model-checker";
-  version = "0.4.4";
+  version = "0.4.5";
   pyproject = true;
 
   disabled = pythonOlder "3.8";
@@ -18,7 +18,7 @@ buildPythonPackage rec {
   src = fetchPypi {
     pname = "model_checker";
     inherit version;
-    hash = "sha256-Ypp1h4qfrY3q27Oohf/UXsl2Vlmuj78hPhlcAzXVMq4=";
+    hash = "sha256-wlMnnrNZ8Ic1Fnz2pqBShgD/py5BLBSkXtvMqgKZR/E=";
   };
 
   # z3 does not provide a dist-info, so python-runtime-deps-check will fail

No auto update branch exists
Received ExitFailure 1 when running
Raw command: /nix/store/03a4f9rij2z4mmwprlbip3mrnnfaw0yd-nix-2.18.2/bin/nix-build --option sandbox true --arg config "{ allowBroken = true; allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A python311Packages.model-checker
nix build failed.
shrinking RPATHs of ELF executables and libraries in /nix/store/hw2m7jy5428kivfphggzjd59rj62pllp-python3.11-model-checker-0.4.5-dist
checking for references to /build/ in /nix/store/hw2m7jy5428kivfphggzjd59rj62pllp-python3.11-model-checker-0.4.5-dist...
patching script interpreter paths in /nix/store/hw2m7jy5428kivfphggzjd59rj62pllp-python3.11-model-checker-0.4.5-dist
Rewriting #!/nix/store/7hnr99nxrd2aw6lghybqdmkckq60j6l9-python3-3.11.9/bin/python3.11 to #!/nix/store/7hnr99nxrd2aw6lghybqdmkckq60j6l9-python3-3.11.9
wrapping `/nix/store/2mqkmy3kghb3d3vdp63wbzmnn8mbyj72-python3.11-model-checker-0.4.5/bin/model-checker'...
Executing pythonRemoveTestsDir
Finished executing pythonRemoveTestsDir
@nix { "action": "setPhase", "phase": "pythonCatchConflictsPhase" }
Running phase: pythonCatchConflictsPhase
@nix { "action": "setPhase", "phase": "pythonRemoveBinBytecodePhase" }
Running phase: pythonRemoveBinBytecodePhase
@nix { "action": "setPhase", "phase": "pythonImportsCheckPhase" }
Running phase: pythonImportsCheckPhase
Executing pythonImportsCheckPhase
Check whether the following modules can be imported: model_checker
Traceback (most recent call last):
  File "<string>", line 1, in <module>
  File "<string>", line 1, in <lambda>
  File "/nix/store/7hnr99nxrd2aw6lghybqdmkckq60j6l9-python3-3.11.9/lib/python3.11/importlib/__init__.py", line 126, in import_module
    return _bootstrap._gcd_import(name[level:], package, level)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "<frozen importlib._bootstrap>", line 1204, in _gcd_import
  File "<frozen importlib._bootstrap>", line 1176, in _find_and_load
  File "<frozen importlib._bootstrap>", line 1147, in _find_and_load_unlocked
  File "<frozen importlib._bootstrap>", line 690, in _load_unlocked
  File "<frozen importlib._bootstrap_external>", line 940, in exec_module
  File "<frozen importlib._bootstrap>", line 241, in _call_with_frames_removed
  File "/nix/store/2mqkmy3kghb3d3vdp63wbzmnn8mbyj72-python3.11-model-checker-0.4.5/lib/python3.11/site-packages/model_checker/__init__.py", line 14, in <module>
    from src.model_checker.model_structure import (
ModuleNotFoundError: No module named 'src'