this derivation will be built:
  /nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv
error: Cannot build '/nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5
       Last 25 log lines:
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/kestrel/utilities/make-termination-theorem.cert (4.276s) at 15-Oct-2026 21:20:08.585
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/lists/list-fix.cert (4.245s) at 15-Oct-2026 21:20:09.107
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/data-structures/structures.cert (19.475s) at 15-Oct-2026 21:20:10.470
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2007/erickson/bprove/exdefs.cert (7.445s) at 15-Oct-2026 21:20:10.709
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/projects/sat/lrat/list-based/unit-propagation-monotone.cert (26.067s) at 15-Oct-2026 21:20:11.637
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/rtl/rel4/support/rtlarr.cert (6.875s) at 15-Oct-2026 21:20:11.730
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2002/kaufmann-sumners/support/sets.cert (11.078s) at 15-Oct-2026 21:20:13.434
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/demos/memoize-invoke-book.cert (20.851s) at 15-Oct-2026 21:20:13.765
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/kestrel/typed-lists-light/maxelem2.cert (17.199s) at 15-Oct-2026 21:20:14.319
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/system/tests/early-load-of-compiled/top.cert (13.603s) at 15-Oct-2026 21:20:14.705
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/coi/pattern-hint/pattern-hint.cert (25.547s) at 15-Oct-2026 21:20:15.629
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2000/lusk-mccune/lusk-mccune-final/expr.cert (40.270s) at 15-Oct-2026 21:20:16.791
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuforma-normal.cert (16.708s) at 15-Oct-2026 21:20:19.847
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/system/doc/acl2-doc.cert (32.239s) at 15-Oct-2026 21:20:20.484
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/util/da-base.cert (20.294s) at 15-Oct-2026 21:20:24.523
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2017/sumners/support/sets.cert (22.398s) at 15-Oct-2026 21:20:26.265
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2004/greve/support/defrecord.cert (27.316s) at 15-Oct-2026 21:20:30.469
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/projects/taspi/proofs/fringes-taspi.cert (68.765s) at 15-Oct-2026 21:20:44.370
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/tools/oracle-time-tests.cert (53.401s) at 15-Oct-2026 21:20:54.612
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/projects/filesystems/file-system-lemmas.cert (179.759s) at 15-Oct-2026 21:21:54.261
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/models/jvm/guard-verified-m1/good-statep.cert (207.093s) at 15-Oct-2026 21:22:47.888
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/quicklisp/base.cert (185.454s) at 15-Oct-2026 21:22:51.696
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2009/sumners/support/kas.cert (381.979s) at 15-Oct-2026 21:25:31.074
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2002/cowles-flat/support/flat-reverse.cert (373.042s) at 15-Oct-2026 21:25:34.753
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/system/parallel/proofs/ideal-speedup.cert (462.668s) at 15-Oct-2026 21:26:40.120
       For full logs, run:
         nix log /nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv