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/88l6xn3r428a6jjdzv51x5w1whgsnrbq-hol_guard-3.6.1.tar.gz
source root is hol_guard-3.6.1
setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.6.1/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.6.1-py3-none-any.whl
Finished creating a wheel...
/nix/var/nix/builds/nix-76539-798420875/hol_guard-3.6.1/dist /nix/var/nix/builds/nix-76539-798420875/hol_guard-3.6.1
Unpacking to: unpacked/hol_guard-3.6.1...OK
Repacking wheel as ./hol_guard-3.6.1-py3-none-any.whl...OK
/nix/var/nix/builds/nix-76539-798420875/hol_guard-3.6.1
Finished executing pypaBuildPhase
Running phase: pythonRuntimeDepsCheckHook
Executing pythonRuntimeDepsCheck
Checking runtime dependencies for hol_guard-3.6.1-py3-none-any.whl
Finished executing pythonRuntimeDepsCheck
Running phase: installPhase
Executing pypaInstallPhase
Successfully installed hol_guard-3.6.1-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-76539-798420875/ in /nix/store/qwcfs98gqxvbq7qv4y2400v7arr2vryk-hol-guard-3.6.1...
patching script interpreter paths in /nix/store/qwcfs98gqxvbq7qv4y2400v7arr2vryk-hol-guard-3.6.1
stripping (with command strip and flags -S) in /nix/store/qwcfs98gqxvbq7qv4y2400v7arr2vryk-hol-guard-3.6.1/lib /nix/store/qwcfs98gqxvbq7qv4y2400v7arr2vryk-hol-guard-3.6.1/bin
checking for references to /nix/var/nix/builds/nix-76539-798420875/ in /nix/store/y8s8hx76jffdhr6s18lkfl05n2v6p1p6-hol-guard-3.6.1-dist...
patching script interpreter paths in /nix/store/y8s8hx76jffdhr6s18lkfl05n2v6p1p6-hol-guard-3.6.1-dist
Rewriting #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7/bin/python3.14 to #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7
wrapping `/nix/store/qwcfs98gqxvbq7qv4y2400v7arr2vryk-hol-guard-3.6.1/bin/plugin-guard'...
Rewriting #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7/bin/python3.14 to #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7
wrapping `/nix/store/qwcfs98gqxvbq7qv4y2400v7arr2vryk-hol-guard-3.6.1/bin/hol-guard-eval'...
Rewriting #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7/bin/python3.14 to #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7
wrapping `/nix/store/qwcfs98gqxvbq7qv4y2400v7arr2vryk-hol-guard-3.6.1/bin/hol-guard'...
Executing pythonRemoveTestsDir
Finished executing pythonRemoveTestsDir
Running phase: installCheckPhase
Executing versionCheckPhase
Successfully managed to find version 3.6.1 in the output of the command /nix/store/qwcfs98gqxvbq7qv4y2400v7arr2vryk-hol-guard-3.6.1/bin/hol-guard --version
hol-guard 3.6.1
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