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

upload niks3: ok