these 2 derivations will be built: /nix/store/xv3wxyi875imj7f3i91c39ji171bb8hi-hol-guard-3.16.1.drv /nix/store/0km0lph6qxqi556nkwhcd6nz5bw2yn1w-check-hol-guard.drv building '/nix/store/xv3wxyi875imj7f3i91c39ji171bb8hi-hol-guard-3.16.1.drv' on 'ssh-ng://customer@mac02.m.ntd.one' building '/nix/store/xv3wxyi875imj7f3i91c39ji171bb8hi-hol-guard-3.16.1.drv' hol-guard-3.16.1> Sourcing python-remove-tests-dir-hook hol-guard-3.16.1> Sourcing python-catch-conflicts-hook.sh hol-guard-3.16.1> Sourcing python-remove-bin-bytecode-hook.sh hol-guard-3.16.1> Sourcing pypa-build-hook hol-guard-3.16.1> Using pypaBuildPhase hol-guard-3.16.1> Sourcing python-runtime-deps-check-hook hol-guard-3.16.1> Using pythonRuntimeDepsCheckHook hol-guard-3.16.1> Sourcing pypa-install-hook hol-guard-3.16.1> Using pypaInstallPhase hol-guard-3.16.1> Sourcing python-imports-check-hook.sh hol-guard-3.16.1> Using pythonImportsCheckPhase hol-guard-3.16.1> Sourcing python-namespaces-hook hol-guard-3.16.1> Sourcing python-catch-conflicts-hook.sh hol-guard-3.16.1> Using versionCheckHook hol-guard-3.16.1> Running phase: unpackPhase hol-guard-3.16.1> unpacking source archive /nix/store/ymb9j8qc48aihqy4l5pifiyapq1a5pma-hol_guard-3.16.1.tar.gz hol-guard-3.16.1> source root is hol_guard-3.16.1 hol-guard-3.16.1> setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.16.1/uv.lock" hol-guard-3.16.1> Running phase: patchPhase hol-guard-3.16.1> Running phase: updateAutotoolsGnuConfigScriptsPhase hol-guard-3.16.1> Running phase: configurePhase hol-guard-3.16.1> no configure script, doing nothing hol-guard-3.16.1> Running phase: buildPhase hol-guard-3.16.1> Executing pypaBuildPhase hol-guard-3.16.1> Creating a wheel... hol-guard-3.16.1> pypa build flags: --no-isolation --outdir dist/ --wheel hol-guard-3.16.1> * Getting build dependencies for wheel... hol-guard-3.16.1> * Building wheel... hol-guard-3.16.1> Successfully built hol_guard-3.16.1-py3-none-any.whl hol-guard-3.16.1> Finished creating a wheel... hol-guard-3.16.1> /nix/var/nix/builds/nix-59056-1451864816/hol_guard-3.16.1/dist /nix/var/nix/builds/nix-59056-1451864816/hol_guard-3.16.1 hol-guard-3.16.1> Unpacking to: unpacked/hol_guard-3.16.1...OK hol-guard-3.16.1> Repacking wheel as ./hol_guard-3.16.1-py3-none-any.whl...OK hol-guard-3.16.1> /nix/var/nix/builds/nix-59056-1451864816/hol_guard-3.16.1 hol-guard-3.16.1> Finished executing pypaBuildPhase hol-guard-3.16.1> Running phase: pythonRuntimeDepsCheckHook hol-guard-3.16.1> Executing pythonRuntimeDepsCheck hol-guard-3.16.1> Checking runtime dependencies for hol_guard-3.16.1-py3-none-any.whl hol-guard-3.16.1> Finished executing pythonRuntimeDepsCheck hol-guard-3.16.1> Running phase: installPhase hol-guard-3.16.1> Executing pypaInstallPhase hol-guard-3.16.1> Successfully installed hol_guard-3.16.1-py3-none-any.whl hol-guard-3.16.1> Finished executing pypaInstallPhase hol-guard-3.16.1> installPhase completed in 35 seconds hol-guard-3.16.1> Running phase: pythonOutputDistPhase hol-guard-3.16.1> Executing pythonOutputDistPhase hol-guard-3.16.1> Finished executing pythonOutputDistPhase hol-guard-3.16.1> Running phase: fixupPhase hol-guard-3.16.1> checking for references to /nix/var/nix/builds/nix-59056-1451864816/ in /nix/store/85vk9y2ingnqlidn6429yj4a240pa46i-hol-guard-3.16.1... hol-guard-3.16.1> patching script interpreter paths in /nix/store/85vk9y2ingnqlidn6429yj4a240pa46i-hol-guard-3.16.1 hol-guard-3.16.1> stripping (with command strip and flags -S) in /nix/store/85vk9y2ingnqlidn6429yj4a240pa46i-hol-guard-3.16.1/lib /nix/store/85vk9y2ingnqlidn6429yj4a240pa46i-hol-guard-3.16.1/bin hol-guard-3.16.1> checking for references to /nix/var/nix/builds/nix-59056-1451864816/ in /nix/store/7jf066qwp3an1nvdhd7qd1djvls2fjzh-hol-guard-3.16.1-dist... hol-guard-3.16.1> patching script interpreter paths in /nix/store/7jf066qwp3an1nvdhd7qd1djvls2fjzh-hol-guard-3.16.1-dist hol-guard-3.16.1> Rewriting #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7/bin/python3.14 to #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7 hol-guard-3.16.1> wrapping `/nix/store/85vk9y2ingnqlidn6429yj4a240pa46i-hol-guard-3.16.1/bin/plugin-guard'... hol-guard-3.16.1> Rewriting #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7/bin/python3.14 to #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7 hol-guard-3.16.1> wrapping `/nix/store/85vk9y2ingnqlidn6429yj4a240pa46i-hol-guard-3.16.1/bin/hol-guard-eval'... hol-guard-3.16.1> Rewriting #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7/bin/python3.14 to #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7 hol-guard-3.16.1> wrapping `/nix/store/85vk9y2ingnqlidn6429yj4a240pa46i-hol-guard-3.16.1/bin/hol-guard'... hol-guard-3.16.1> Executing pythonRemoveTestsDir hol-guard-3.16.1> Finished executing pythonRemoveTestsDir hol-guard-3.16.1> Running phase: installCheckPhase hol-guard-3.16.1> Executing versionCheckPhase hol-guard-3.16.1> Successfully managed to find version 3.16.1 in the output of the command /nix/store/85vk9y2ingnqlidn6429yj4a240pa46i-hol-guard-3.16.1/bin/hol-guard --version hol-guard-3.16.1> hol-guard 3.16.1 hol-guard-3.16.1> Finished versionCheckPhase hol-guard-3.16.1> no Makefile or custom installCheckPhase, doing nothing hol-guard-3.16.1> Running phase: pythonCatchConflictsPhase hol-guard-3.16.1> Running phase: pythonRemoveBinBytecodePhase hol-guard-3.16.1> Running phase: pythonImportsCheckPhase hol-guard-3.16.1> Executing pythonImportsCheckPhase hol-guard-3.16.1> Check whether the following modules can be imported: codex_plugin_scanner building '/nix/store/0km0lph6qxqi556nkwhcd6nz5bw2yn1w-check-hol-guard.drv' on 'ssh-ng://customer@mac02.m.ntd.one' building '/nix/store/0km0lph6qxqi556nkwhcd6nz5bw2yn1w-check-hol-guard.drv' upload niks3: ok