these 2 derivations will be built: /nix/store/lz3wc81lfw9z0j73bdhnfr6qa12xjf3k-hol-guard-3.38.0.drv /nix/store/p90534jf4vr8k8v5hw9krlklsv0wcljd-check-hol-guard.drv these 2 paths will be fetched (570.9 KiB download, 2.8 MiB unpacked): /nix/store/i949nqk4darahw7cmsabb3w9mqy7hkc7-python3.14-publicsuffixlist-1.1.2.20261105 /nix/store/jajfg4npskvcn2s3wfgr3p7296c8qm06-python3.14-regex-2026.9.29 building '/nix/store/lz3wc81lfw9z0j73bdhnfr6qa12xjf3k-hol-guard-3.38.0.drv' on 'grpc://farm.numtide.com:50051?connect-timeout=20&system=aarch64-darwin&token-file=/run/nix-farm-client/farm-token' building '/nix/store/lz3wc81lfw9z0j73bdhnfr6qa12xjf3k-hol-guard-3.38.0.drv' on farm.numtide.com:50051 hol-guard-3.38.0> mac02: building lz3wc81lfw9z0j73bdhnfr6qa12xjf3k-hol-guard-3.38.0.drv hol-guard-3.38.0> Sourcing python-remove-tests-dir-hook hol-guard-3.38.0> Sourcing python-catch-conflicts-hook.sh hol-guard-3.38.0> Sourcing python-remove-bin-bytecode-hook.sh hol-guard-3.38.0> Sourcing pypa-build-hook hol-guard-3.38.0> Using pypaBuildPhase hol-guard-3.38.0> Sourcing python-runtime-deps-check-hook hol-guard-3.38.0> Using pythonRuntimeDepsCheckHook hol-guard-3.38.0> Sourcing pypa-install-hook hol-guard-3.38.0> Using pypaInstallPhase hol-guard-3.38.0> Sourcing python-imports-check-hook.sh hol-guard-3.38.0> Using pythonImportsCheckPhase hol-guard-3.38.0> Sourcing python-namespaces-hook hol-guard-3.38.0> Sourcing python-catch-conflicts-hook.sh hol-guard-3.38.0> Using versionCheckHook hol-guard-3.38.0> Running phase: unpackPhase hol-guard-3.38.0> unpacking source archive /nix/store/6fnrs9qg52ad9xxk1kd2mw3yk7rpn220-hol_guard-3.38.0.tar.gz hol-guard-3.38.0> source root is hol_guard-3.38.0 hol-guard-3.38.0> setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.38.0/src/codex_plugin_scanner/version.py" hol-guard-3.38.0> Running phase: patchPhase hol-guard-3.38.0> Running phase: updateAutotoolsGnuConfigScriptsPhase hol-guard-3.38.0> Running phase: configurePhase hol-guard-3.38.0> no configure script, doing nothing hol-guard-3.38.0> Running phase: buildPhase hol-guard-3.38.0> Executing pypaBuildPhase hol-guard-3.38.0> Creating a wheel... hol-guard-3.38.0> pypa build flags: --no-isolation --outdir dist/ --wheel hol-guard-3.38.0> * Getting build dependencies for wheel... hol-guard-3.38.0> * Building wheel... hol-guard-3.38.0> Successfully built hol_guard-3.38.0-py3-none-any.whl hol-guard-3.38.0> Finished creating a wheel... hol-guard-3.38.0> /nix/var/nix/builds/nix-21853-566003045/hol_guard-3.38.0/dist /nix/var/nix/builds/nix-21853-566003045/hol_guard-3.38.0 hol-guard-3.38.0> Unpacking to: unpacked/hol_guard-3.38.0...OK hol-guard-3.38.0> Repacking wheel as ./hol_guard-3.38.0-py3-none-any.whl...OK hol-guard-3.38.0> /nix/var/nix/builds/nix-21853-566003045/hol_guard-3.38.0 hol-guard-3.38.0> Finished executing pypaBuildPhase hol-guard-3.38.0> Running phase: pythonRuntimeDepsCheckHook hol-guard-3.38.0> Executing pythonRuntimeDepsCheck hol-guard-3.38.0> Checking runtime dependencies for hol_guard-3.38.0-py3-none-any.whl hol-guard-3.38.0> Finished executing pythonRuntimeDepsCheck hol-guard-3.38.0> Running phase: installPhase hol-guard-3.38.0> Executing pypaInstallPhase hol-guard-3.38.0> Successfully installed hol_guard-3.38.0-py3-none-any.whl hol-guard-3.38.0> Finished executing pypaInstallPhase hol-guard-3.38.0> Running phase: pythonOutputDistPhase hol-guard-3.38.0> Executing pythonOutputDistPhase hol-guard-3.38.0> Finished executing pythonOutputDistPhase hol-guard-3.38.0> Running phase: fixupPhase hol-guard-3.38.0> checking for references to /nix/var/nix/builds/nix-21853-566003045/ in /nix/store/6yjd790rdx5h2f36rhna970ig3lfbwnz-hol-guard-3.38.0-dist... hol-guard-3.38.0> patching script interpreter paths in /nix/store/6yjd790rdx5h2f36rhna970ig3lfbwnz-hol-guard-3.38.0-dist hol-guard-3.38.0> checking for references to /nix/var/nix/builds/nix-21853-566003045/ in /nix/store/xjwjkj23ssgl9vbrvc9wjv2xfansi8pd-hol-guard-3.38.0... hol-guard-3.38.0> patching script interpreter paths in /nix/store/xjwjkj23ssgl9vbrvc9wjv2xfansi8pd-hol-guard-3.38.0 hol-guard-3.38.0> stripping (with command strip and flags -S) in /nix/store/xjwjkj23ssgl9vbrvc9wjv2xfansi8pd-hol-guard-3.38.0/lib /nix/store/xjwjkj23ssgl9vbrvc9wjv2xfansi8pd-hol-guard-3.38.0/bin hol-guard-3.38.0> Rewriting #!/nix/store/3j0hvszcqcb2vwm5dz0xxfb06cx49k86-python3-3.14.10/bin/python3.14 to #!/nix/store/3j0hvszcqcb2vwm5dz0xxfb06cx49k86-python3-3.14.10 hol-guard-3.38.0> wrapping `/nix/store/xjwjkj23ssgl9vbrvc9wjv2xfansi8pd-hol-guard-3.38.0/bin/plugin-guard'... hol-guard-3.38.0> Rewriting #!/nix/store/3j0hvszcqcb2vwm5dz0xxfb06cx49k86-python3-3.14.10/bin/python3.14 to #!/nix/store/3j0hvszcqcb2vwm5dz0xxfb06cx49k86-python3-3.14.10 hol-guard-3.38.0> wrapping `/nix/store/xjwjkj23ssgl9vbrvc9wjv2xfansi8pd-hol-guard-3.38.0/bin/hol-guard-eval'... hol-guard-3.38.0> Rewriting #!/nix/store/3j0hvszcqcb2vwm5dz0xxfb06cx49k86-python3-3.14.10/bin/python3.14 to #!/nix/store/3j0hvszcqcb2vwm5dz0xxfb06cx49k86-python3-3.14.10 hol-guard-3.38.0> wrapping `/nix/store/xjwjkj23ssgl9vbrvc9wjv2xfansi8pd-hol-guard-3.38.0/bin/hol-guard'... hol-guard-3.38.0> Executing pythonRemoveTestsDir hol-guard-3.38.0> Finished executing pythonRemoveTestsDir hol-guard-3.38.0> Running phase: installCheckPhase hol-guard-3.38.0> Executing versionCheckPhase hol-guard-3.38.0> Successfully managed to find version 3.38.0 in the output of the command /nix/store/xjwjkj23ssgl9vbrvc9wjv2xfansi8pd-hol-guard-3.38.0/bin/hol-guard --version hol-guard-3.38.0> hol-guard 3.38.0 hol-guard-3.38.0> Finished versionCheckPhase hol-guard-3.38.0> no Makefile or custom installCheckPhase, doing nothing hol-guard-3.38.0> Running phase: pythonCatchConflictsPhase hol-guard-3.38.0> Running phase: pythonRemoveBinBytecodePhase hol-guard-3.38.0> Running phase: pythonImportsCheckPhase hol-guard-3.38.0> Executing pythonImportsCheckPhase hol-guard-3.38.0> Check whether the following modules can be imported: codex_plugin_scanner building '/nix/store/p90534jf4vr8k8v5hw9krlklsv0wcljd-check-hol-guard.drv' on 'grpc://farm.numtide.com:50051?connect-timeout=20&system=aarch64-darwin&token-file=/run/nix-farm-client/farm-token' building '/nix/store/p90534jf4vr8k8v5hw9krlklsv0wcljd-check-hol-guard.drv' on farm.numtide.com:50051 check-hol-guard> mac02: building p90534jf4vr8k8v5hw9krlklsv0wcljd-check-hol-guard.drv