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/y9ll1sa6bw5siy294sj7753m92mn1k1k-hol_guard-3.18.0.tar.gz
source root is hol_guard-3.18.0
setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.18.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.18.0-py3-none-any.whl
Finished creating a wheel...
/build/hol_guard-3.18.0/dist /build/hol_guard-3.18.0
Unpacking to: unpacked/hol_guard-3.18.0...OK
Repacking wheel as ./hol_guard-3.18.0-py3-none-any.whl...OK
/build/hol_guard-3.18.0
Finished executing pypaBuildPhase
Running phase: pythonRuntimeDepsCheckHook
Executing pythonRuntimeDepsCheck
Checking runtime dependencies for hol_guard-3.18.0-py3-none-any.whl
Finished executing pythonRuntimeDepsCheck
Running phase: installPhase
Executing pypaInstallPhase
Successfully installed hol_guard-3.18.0-py3-none-any.whl
Finished executing pypaInstallPhase
Running phase: pythonOutputDistPhase
Executing pythonOutputDistPhase
Finished executing pythonOutputDistPhase
Running phase: fixupPhase
shrinking RPATHs of ELF executables and libraries in /nix/store/yndbwbd8wn4381zlpynsna9226pynr6j-hol-guard-3.18.0
checking for references to /build/ in /nix/store/yndbwbd8wn4381zlpynsna9226pynr6j-hol-guard-3.18.0...
patching script interpreter paths in /nix/store/yndbwbd8wn4381zlpynsna9226pynr6j-hol-guard-3.18.0
stripping (with command strip and flags -S -p) in /nix/store/yndbwbd8wn4381zlpynsna9226pynr6j-hol-guard-3.18.0/lib /nix/store/yndbwbd8wn4381zlpynsna9226pynr6j-hol-guard-3.18.0/bin
shrinking RPATHs of ELF executables and libraries in /nix/store/23jgads18rl2hp5v20d7qknjiw4z8bna-hol-guard-3.18.0-dist
checking for references to /build/ in /nix/store/23jgads18rl2hp5v20d7qknjiw4z8bna-hol-guard-3.18.0-dist...
patching script interpreter paths in /nix/store/23jgads18rl2hp5v20d7qknjiw4z8bna-hol-guard-3.18.0-dist
Rewriting #!/nix/store/d64q19q1xjdwfhqx6czvrjgrhq0n3lcc-python3-3.14.7/bin/python3.14 to #!/nix/store/d64q19q1xjdwfhqx6czvrjgrhq0n3lcc-python3-3.14.7
wrapping `/nix/store/yndbwbd8wn4381zlpynsna9226pynr6j-hol-guard-3.18.0/bin/hol-guard-eval'...
Rewriting #!/nix/store/d64q19q1xjdwfhqx6czvrjgrhq0n3lcc-python3-3.14.7/bin/python3.14 to #!/nix/store/d64q19q1xjdwfhqx6czvrjgrhq0n3lcc-python3-3.14.7
wrapping `/nix/store/yndbwbd8wn4381zlpynsna9226pynr6j-hol-guard-3.18.0/bin/plugin-guard'...
Rewriting #!/nix/store/d64q19q1xjdwfhqx6czvrjgrhq0n3lcc-python3-3.14.7/bin/python3.14 to #!/nix/store/d64q19q1xjdwfhqx6czvrjgrhq0n3lcc-python3-3.14.7
wrapping `/nix/store/yndbwbd8wn4381zlpynsna9226pynr6j-hol-guard-3.18.0/bin/hol-guard'...
Executing pythonRemoveTestsDir
Finished executing pythonRemoveTestsDir
Running phase: installCheckPhase
Executing versionCheckPhase
Successfully managed to find version 3.18.0 in the output of the command /nix/store/yndbwbd8wn4381zlpynsna9226pynr6j-hol-guard-3.18.0/bin/hol-guard --version
hol-guard 3.18.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