Sourcing python-remove-tests-dir-hook
Sourcing python-catch-conflicts-hook.sh
Sourcing python-remove-bin-bytecode-hook.sh
Sourcing pypa-build-hook
Using pypaBuildPhase
Sourcing python-runtime-deps-check-hook
Using pythonRuntimeDepsCheckHook
Sourcing pypa-install-hook
Using pypaInstallPhase
Sourcing python-imports-check-hook.sh
Using pythonImportsCheckPhase
Sourcing python-namespaces-hook
Sourcing python-catch-conflicts-hook.sh
Using versionCheckHook
Running phase: unpackPhase
unpacking source archive /nix/store/r778kfnnbwhrzxk4yjmn1nby7x682kam-hol_guard-3.15.0.tar.gz
source root is hol_guard-3.15.0
setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.15.0/uv.lock"
Running phase: patchPhase
Running phase: updateAutotoolsGnuConfigScriptsPhase
Running phase: configurePhase
no configure script, doing nothing
Running phase: buildPhase
Executing pypaBuildPhase
Creating a wheel...
pypa build flags: --no-isolation --outdir dist/ --wheel
* Getting build dependencies for wheel...
* Building wheel...
Successfully built hol_guard-3.15.0-py3-none-any.whl
Finished creating a wheel...
/nix/var/nix/builds/nix-70246-4220007230/hol_guard-3.15.0/dist /nix/var/nix/builds/nix-70246-4220007230/hol_guard-3.15.0
Unpacking to: unpacked/hol_guard-3.15.0...OK
Repacking wheel as ./hol_guard-3.15.0-py3-none-any.whl...OK
/nix/var/nix/builds/nix-70246-4220007230/hol_guard-3.15.0
Finished executing pypaBuildPhase
Running phase: pythonRuntimeDepsCheckHook
Executing pythonRuntimeDepsCheck
Checking runtime dependencies for hol_guard-3.15.0-py3-none-any.whl
Finished executing pythonRuntimeDepsCheck
Running phase: installPhase
Executing pypaInstallPhase
Successfully installed hol_guard-3.15.0-py3-none-any.whl
Finished executing pypaInstallPhase
Running phase: pythonOutputDistPhase
Executing pythonOutputDistPhase
Finished executing pythonOutputDistPhase
Running phase: fixupPhase
checking for references to /nix/var/nix/builds/nix-70246-4220007230/ in /nix/store/3k94n154kdd6ykda0kid6cjkd870qiwx-hol-guard-3.15.0...
patching script interpreter paths in /nix/store/3k94n154kdd6ykda0kid6cjkd870qiwx-hol-guard-3.15.0
stripping (with command strip and flags -S) in /nix/store/3k94n154kdd6ykda0kid6cjkd870qiwx-hol-guard-3.15.0/lib /nix/store/3k94n154kdd6ykda0kid6cjkd870qiwx-hol-guard-3.15.0/bin
checking for references to /nix/var/nix/builds/nix-70246-4220007230/ in /nix/store/5a3pi4jfbjq9crdxdbj0hwc1wspnkmcm-hol-guard-3.15.0-dist...
patching script interpreter paths in /nix/store/5a3pi4jfbjq9crdxdbj0hwc1wspnkmcm-hol-guard-3.15.0-dist
Rewriting #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7/bin/python3.14 to #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7
wrapping `/nix/store/3k94n154kdd6ykda0kid6cjkd870qiwx-hol-guard-3.15.0/bin/plugin-guard'...
Rewriting #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7/bin/python3.14 to #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7
wrapping `/nix/store/3k94n154kdd6ykda0kid6cjkd870qiwx-hol-guard-3.15.0/bin/hol-guard-eval'...
Rewriting #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7/bin/python3.14 to #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7
wrapping `/nix/store/3k94n154kdd6ykda0kid6cjkd870qiwx-hol-guard-3.15.0/bin/hol-guard'...
Executing pythonRemoveTestsDir
Finished executing pythonRemoveTestsDir
Running phase: installCheckPhase
Executing versionCheckPhase
Successfully managed to find version 3.15.0 in the output of the command /nix/store/3k94n154kdd6ykda0kid6cjkd870qiwx-hol-guard-3.15.0/bin/hol-guard --version
hol-guard 3.15.0
Finished versionCheckPhase
no Makefile or custom installCheckPhase, doing nothing
Running phase: pythonCatchConflictsPhase
Running phase: pythonRemoveBinBytecodePhase
Running phase: pythonImportsCheckPhase
Executing pythonImportsCheckPhase
Check whether the following modules can be imported: codex_plugin_scanner