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