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