setup
checks.x86_64-linux.acl2
· build #1
· raw
1these 5 derivations will be built:2 /nix/store/5kf03qklngdx9smqnfh3k81r8yrlm62l-builder.pl.drv3 /nix/store/qjz91iia5yglwcd7hhzbm9fpckk70bhl-sbcl-2.3.0.drv4 /nix/store/sxb5fjq9g3hbj4sd33y0cxmkc2ib7d3z-0001-Fix-some-paths-for-Nix-build.patch.drv5 /nix/store/xcqdwlbgi5qxwdsiy83ka8n3rnrvpmg1-python3-3.10.9-env.drv6 /nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv7these 19 paths will be fetched (80.4 MiB download, 348.7 MiB unpacked):8 /nix/store/ry7qzs416zk7gc1khqgd0pgilb7pd9n2-abc-verifier-unstable-2022-11-099 /nix/store/sxdx80lmk4zkhb51f4x5dgqvxgmx55wl-gcc-11.3.010 /nix/store/wn31i3dzwahz6ccws8bs1nwyqrpgsvj7-gcc-wrapper-11.3.011 /nix/store/y9vspi10jhfy13mi3ldznn4c6bmfk2wy-glucose-4.112 /nix/store/9wq07m2ksqngb5j0142g4m7rkr22nzyg-hook13 /nix/store/ck0nhyc1sadhb7v012va5xv2mhc7lc9c-hook14 /nix/store/hv0y03z8m709mwgscss6p08555zzmxal-hook15 /nix/store/cr4h0vgl6824qqgq8jn021viqchk7ml9-hostname-net-tools-2.1016 /nix/store/spmbyq5clx5z9spkd45nx8dqrxis5mlv-libipasirglucose4-201717 /nix/store/h9i8jhmikbz7lwhbk3l9b1kf3mflpgal-minisat-2.2.118 /nix/store/39pw83d189ybpvlrnhf2vxxxvd6lybnk-net-tools-2.1019 /nix/store/6zh035j7znhpb33qcxyg8jbxxham5hry-python3.10-setuptools-65.3.020 /nix/store/ahj3czrzgrcirs44ywm0f3glds5l3z89-sbcl-2.3.021 /nix/store/cp65c8nk29qq5cl1wyy5qyw103cwmax7-stdenv-linux22 /nix/store/kzw8jpmwjwldkzkf2sha1brg8l19rqh5-which-2.2123 /nix/store/i2zh6pq9zajbfz0dg548mhrj5z12mdvl-z3-4.8.1524 /nix/store/16gh7nxjyzr9d0cmwjc09zl3qjdffcw6-z3-4.8.15-dev25 /nix/store/91qx6c9i7g02qad52fn11x3s663ld5kr-z3-4.8.15-lib26 /nix/store/45d9mp27rljrfai69nv868g5rbykhjjx-z3-4.8.15-python27error: timed out after 1200 seconds