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 17 paths will be fetched (179.1 MiB download, 1019.3 MiB unpacked): /nix/store/blpk6xadis34k6nhba8426hb162l1lm6-abc-verifier-unstable-2022-11-09 /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/n30mqhzla67h87x9g9358xq3wrh3w2fn-python3.10-setuptools-65.3.0 /nix/store/km5jjjhdasdksr703sab7gdpgm1111lq-sbcl-2.3.0 /nix/store/p84v26phjpcynf9bqlkvy4sifw7kfani-source /nix/store/2dwfj3xwxa0773kzy3016s1kvqdc7y7a-which-2.21 /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/transforms/annotate/bind.cert (79.928s) at 10-Oct-2026 01:19:38.937 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/paramdecls.cert (44.138s) at 10-Oct-2026 01:19:48.133 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-namespace.cert (29.159s) at 10-Oct-2026 01:19:48.859 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/inject-comments.cert (36.034s) at 10-Oct-2026 01:19:49.606 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/logicassign.cert (29.600s) at 10-Oct-2026 01:19:50.206 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/lintstub.cert (37.303s) at 10-Oct-2026 01:19:58.861 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/writer.cert (120.675s) at 10-Oct-2026 01:20:08.539 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/tests/base.cert (44.303s) at 10-Oct-2026 01:20:13.076 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/drop-missing-submodules.cert (43.263s) at 10-Oct-2026 01:20:15.260 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/unparam/expr-classes.cert (119.038s) at 10-Oct-2026 01:20:16.072 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-globalparams.cert (79.715s) at 10-Oct-2026 01:20:40.636 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/ctxexprs.cert (127.642s) at 10-Oct-2026 01:20:41.217 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/evaluation-lemmas.cert (376.764s) at 10-Oct-2026 01:20:52.789 > Making /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/all-warrants-valid.cert on 10-Oct-2026 01:20:52.900 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/all-warrants-valid.cert (3.141s) at 10-Oct-2026 01:20:56.053 > 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/projects/legacy-defrstobj/basic-tests.cert (365.889s) at 10-Oct-2026 01:21:36.594 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/evaluation-lemmas.cert (374.531s) at 10-Oct-2026 01:24:21.451 > Making /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert on 10-Oct-2026 01:24:21.494 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert (1.860s) at 10-Oct-2026 01:24:23.361 > make[1]: Leaving directory '/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2' 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