these 5 derivations will be built: /nix/store/c6mljancr1wmnc0vqgwwwi8ic86krix4-builder.pl.drv /nix/store/pwxy32xd0pp1a6g1jgjray0qzpg2mc0d-python3-3.10.9-env.drv /nix/store/vx1k0gd4m2ml2b04vqr5sbvzh3ns5jcf-0001-Fix-some-paths-for-Nix-build.patch.drv /nix/store/xiim87xzdvlhg2q5dbrddzw73vgy2dcp-sbcl-2.3.0.drv /nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv these 19 paths will be fetched (0.0 KiB download, 1013.8 MiB unpacked): /nix/store/blpk6xadis34k6nhba8426hb162l1lm6-abc-verifier-unstable-2022-11-09 /nix/store/zkmzlvmlizm1jqjygc69469pfai2jpfp-binutils-wrapper-2.39 /nix/store/3v1z3a2q231ap60xin3wylyxkk1ipyj6-expand-response-params /nix/store/jm6gqq369d0vd9pz3b7swn2vyycygdb9-gcc-wrapper-9.5.0 /nix/store/jk3b1m9s8zq5prxlrzbvjzc9mpnyaasz-glucose-4.1 /nix/store/12lbfxx2859frgcxk57gc108n0yrxgyk-hook /nix/store/dy5fxjsf0iknxxj6zz9fqx4x34fz1d7y-hook /nix/store/x19ai18nawqx473qmfdpnzk0sr20450c-hook /nix/store/dvzl7bh764r4fqzax2m92vz83hm6z5a1-hostname-net-tools-2.10 /nix/store/6gw95xsyh43xshpx2zpch841rcj4qb31-libipasirglucose4-2017 /nix/store/dvfb9jf7jfi5w921wlsiiay2wgwmrkww-minisat-2.2.1 /nix/store/fzwd9z9rcagfm8ab10bp57qzr8ixpmp8-net-tools-2.10 /nix/store/km5jjjhdasdksr703sab7gdpgm1111lq-sbcl-2.3.0 /nix/store/p84v26phjpcynf9bqlkvy4sifw7kfani-source /nix/store/arlb82anz496qkfxks2m9p9i86wr1p12-stdenv-linux /nix/store/iav4cjichbl1lmklvg4034rrs3lnkk9i-z3-4.8.15 /nix/store/xv1h1000f88mdsqs3p1r17vm126nx824-z3-4.8.15-dev /nix/store/pnbnrc4s3jjzlsqg9cyynvhmllagn0g0-z3-4.8.15-lib /nix/store/9nm592kmc76dkv1skqqyr4a0ifbbwj57-z3-4.8.15-python error: build of '/nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv' on 'grpc://farm.numtide.com:50051?client-cert=/run/secrets/vars/per-machine/bld1/nix-farm-ci/crt&client-key=/run/secrets/vars/per-machine/bld1/nix-farm-ci/key&connect-timeout=23&system=aarch64-linux' failed: Cannot build '/nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv'. Reason: builder failed with exit code 2. Output paths: /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5 Last 25 log lines: > **CERTIFICATION FAILED** for /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/lexer/tests.lisp > > make: *** [/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/build/make_cert:116: centaur/vl/loader/lexer/tests.cert] Error 1 > make: *** Waiting for unfinished jobs.... > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/inject-comments.cert (37.656s) at 15-Oct-2026 19:54:30.621 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/annotate/bind.cert (83.164s) at 15-Oct-2026 19:54:32.600 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-namespace.cert (33.089s) at 15-Oct-2026 19:54:40.036 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/logicassign.cert (34.096s) at 15-Oct-2026 19:54:42.354 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/blockitems.cert (56.369s) at 15-Oct-2026 19:54:46.061 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/lintstub.cert (34.357s) at 15-Oct-2026 19:54:51.742 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/writer.cert (122.734s) at 15-Oct-2026 19:54:56.665 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/evaluation-lemmas.cert (299.046s) at 15-Oct-2026 19:54:59.589 > Making /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/all-warrants-valid.cert on 15-Oct-2026 19:54:59.630 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/all-warrants-valid.cert (2.009s) at 15-Oct-2026 19:55:01.645 > make[1]: Leaving directory '/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model' > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/unparam/expr-classes.cert (116.559s) at 15-Oct-2026 19:55:02.922 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/tests/base.cert (36.716s) at 15-Oct-2026 19:55:03.546 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/ctxexprs.cert (110.111s) at 15-Oct-2026 19:55:16.431 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-globalparams.cert (64.840s) at 15-Oct-2026 19:55:21.191 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/dpss/Collins/level-1-initial-synchronization.cert (272.988s) at 15-Oct-2026 19:55:56.297 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/evaluation-lemmas.cert (367.775s) at 15-Oct-2026 19:57:58.467 > Making /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert on 15-Oct-2026 19:57:58.510 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert (2.015s) at 15-Oct-2026 19:58:00.535 > make[1]: Leaving directory '/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2' > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/stateman/stateman22.cert (420.758s) at 15-Oct-2026 19:58:27.048 For full logs, run: nix log /nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv error: Cannot build '/nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5