setup
checks.x86_64-linux.acl2
· build #2
· 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/std/util/defrule.cert (10.121s) at 10-Oct-2026 22:21:31.7299 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/strings/printtree.cert (5.996s) at 10-Oct-2026 22:21:31.91910 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/tools/save-obligs.cert (6.612s) at 10-Oct-2026 22:21:32.47711 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/centaur/vl/portcullis.cert (7.031s) at 10-Oct-2026 22:21:32.95012 > 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.33013 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/rtl/rel4/support/rtl.cert (10.524s) at 10-Oct-2026 22:21:33.42814 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/acl2s/utilities.cert (29.411s) at 10-Oct-2026 22:21:33.65315 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/util/da-base.cert (11.207s) at 10-Oct-2026 22:21:33.66916 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/arithmetic-2/pass1/expt.cert (8.376s) at 10-Oct-2026 22:21:34.04517 > 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.65418 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/acl2s/defdata/library-support.cert (11.323s) at 10-Oct-2026 22:21:36.01319 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/centaur/ubdds/core.cert (31.882s) at 10-Oct-2026 22:21:38.41820 > 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.65321 > 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.91522 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/tools/flag.cert (17.588s) at 10-Oct-2026 22:21:40.76123 > 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.79624 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/std/osets/membership.cert (16.962s) at 10-Oct-2026 22:21:42.85125 > 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.41026 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/system/pseudo-good-worldp.cert (37.537s) at 10-Oct-2026 22:22:03.72527 > 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.07328 > 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.04529 > Built /nix/store/wjbikkd093g98x0g6rxcsgiqm3ib6ybq-acl2-8.5/share/acl2/books/quicklisp/base.cert (156.458s) at 10-Oct-2026 22:23:43.99330 > 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.32231 > 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.55732 > 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.90633 For full logs, run:34 nix log /nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv