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/std/util/defrule.cert (10.121s) at 10-Oct-2026 22:21:31.729
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/strings/printtree.cert (5.996s) at 10-Oct-2026 22:21:31.919
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/tools/save-obligs.cert (6.612s) at 10-Oct-2026 22:21:32.477
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/centaur/vl/portcullis.cert (7.031s) at 10-Oct-2026 22:21:32.950
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/projects/sat/lrat/list-based/satisfiable-add-proof-clause-base.cert (7.846s) at 10-Oct-2026 22:21:33.330
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/rtl/rel4/support/rtl.cert (10.524s) at 10-Oct-2026 22:21:33.428
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/acl2s/utilities.cert (29.411s) at 10-Oct-2026 22:21:33.653
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/util/da-base.cert (11.207s) at 10-Oct-2026 22:21:33.669
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/arithmetic-2/pass1/expt.cert (8.376s) at 10-Oct-2026 22:21:34.045
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/centaur/fty/fty-sum-casemacro.cert (8.991s) at 10-Oct-2026 22:21:34.654
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/acl2s/defdata/library-support.cert (11.323s) at 10-Oct-2026 22:21:36.013
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/centaur/ubdds/core.cert (31.882s) at 10-Oct-2026 22:21:38.418
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/kestrel/acl2-arrays/acl2-arrays.cert (25.247s) at 10-Oct-2026 22:21:38.653
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/system/doc/acl2-doc-wrap.cert (13.406s) at 10-Oct-2026 22:21:38.915
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/tools/flag.cert (17.588s) at 10-Oct-2026 22:21:40.761
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2002/kaufmann-sumners/support/sets.cert (40.648s) at 10-Oct-2026 22:21:41.796
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/osets/membership.cert (16.962s) at 10-Oct-2026 22:21:42.851
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/projects/filesystems/file-system-lemmas.cert (142.591s) at 10-Oct-2026 22:22:01.410
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/system/pseudo-good-worldp.cert (37.537s) at 10-Oct-2026 22:22:03.725
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2003/tsong/support/shim.cert (46.351s) at 10-Oct-2026 22:22:07.073
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/models/jvm/guard-verified-m1/good-statep.cert (143.044s) at 10-Oct-2026 22:22:36.045
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/quicklisp/base.cert (156.458s) at 10-Oct-2026 22:23:43.993
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2009/sumners/support/kas.cert (256.869s) at 10-Oct-2026 22:24:13.322
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/workshops/2002/cowles-flat/support/flat-reverse.cert (246.057s) at 10-Oct-2026 22:24:23.557
       > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/system/parallel/proofs/ideal-speedup.cert (282.198s) at 10-Oct-2026 22:24:24.906
       For full logs, run:
         nix log /nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv