setup
checks.x86_64-linux.acl2
· build #5
· raw
1this derivation will be built:2 /nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv3error: Cannot build '/nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv'.4 Reason: builder failed with exit code 2.5 Output paths:6 /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.57 Last 25 log lines:8 > 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.5859 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/lists/list-fix.cert (4.245s) at 15-Oct-2026 21:20:09.10710 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/data-structures/structures.cert (19.475s) at 15-Oct-2026 21:20:10.47011 > 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.70912 > 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.63713 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/rtl/rel4/support/rtlarr.cert (6.875s) at 15-Oct-2026 21:20:11.73014 > 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.43415 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/demos/memoize-invoke-book.cert (20.851s) at 15-Oct-2026 21:20:13.76516 > 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.31917 > 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.70518 > 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.62919 > 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.79120 > 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.84721 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/system/doc/acl2-doc.cert (32.239s) at 15-Oct-2026 21:20:20.48422 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/util/da-base.cert (20.294s) at 15-Oct-2026 21:20:24.52323 > 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.26524 > 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.46925 > 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.37026 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/tools/oracle-time-tests.cert (53.401s) at 15-Oct-2026 21:20:54.61227 > 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.26128 > 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.88829 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/quicklisp/base.cert (185.454s) at 15-Oct-2026 21:22:51.69630 > 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.07431 > 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.75332 > 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.12033 For full logs, run:34 nix log /nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv