these 6 derivations will be built:
  /nix/store/axvz6ffkskzja7ga64pciv8cwr7gfd3a-sbcl-2.3.0.drv
  /nix/store/h2jblcn7hp0xriqyfc308j9wi0ggrpkw-sbcl-2.3.0.drv
  /nix/store/zg2542rf3bf0rsw2nar1qxgcgfcbljsv-builder.pl.drv
  /nix/store/imjhzgpdd1pzry95n4rpk8npxfr55w1y-python3-3.10.9-env.drv
  /nix/store/pnp4b5ls2bwnbg9nmq186zxjzipw7b3f-0001-Fix-some-paths-for-Nix-build.patch.drv
  /nix/store/j3ybd4czg0zf72c7x3zmlbz7rixmvwb4-acl2-8.5.drv
these 24 paths will be fetched (8.0 MiB download, 140.0 MiB unpacked):
  /nix/store/06x2zb1mdxsmkrrqbxprlgrva524766n-abc-verifier-unstable-2022-11-09
  /nix/store/lb9qp2zifl917x5b1r3drbsyyr21pqv4-ed-1.18
  /nix/store/9hhn748q57h472indz927imbkm8fjqx7-file-5.43
  /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1
  /nix/store/4d2ni45cqx89p7bqpyvcaljbj0q7pdzc-gnumake-4.4
  /nix/store/3hmdxx9f1m0bq055q08ayqcwk6phy34n-hook
  /nix/store/ag58kx61ivfzzadx504vhw1xrhqaivzg-hook
  /nix/store/fn7g3a3n8f9sdchxrj8qhg79lffh8w3q-hook
  /nix/store/3l1xcf99qq0jzlw3k8hwv2ajyfn0j07j-hostname-net-tools-2.10
  /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017
  /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1
  /nix/store/nrzxp23m6z19dhzv61z50ms1s23r8pxk-net-tools-2.10
  /nix/store/f4bg8ssj27rcy089wq3x2n6h4fvla4m3-patch-2.7.6
  /nix/store/qk7fvwrw8fx9lfvgs04g40si89jp41i3-patchelf-0.15.0
  /nix/store/d6r4kbr0w6m38y2minsfsaib06jyphg4-sbcl-2.3.0-source.tar.bz2
  /nix/store/846619gyvl0i35qb71hnawa3dlq2dyhk-sbcl-bootstrap-1.2.7
  /nix/store/619vl26bch1hsh0ghvzcjd4vgmvl5ka1-stdenv-linux
  /nix/store/9v5ki9sviji49wigp65in5ynkdrzrqgv-stdenv-linux
  /nix/store/ivgf0ni74bkyxry4gb4chiv4bddfixsv-texinfo-6.8
  /nix/store/fiksv95sqz6zw1h1c95mj121y16gm8qb-z3-4.8.15
  /nix/store/v0l23g5v06slrg6pjb7pdgzwyzf0172l-z3-4.8.15-dev
  /nix/store/6r2kpz60s8qzr42vxbvy4jlkgva4iqww-z3-4.8.15-lib
  /nix/store/lj3ww5b0czpn9i7sji5042s8i1ck20bh-z3-4.8.15-python
  /nix/store/7v4fr0x3lj4n2qp41gnlqdnqjnyzy57a-zstd-1.5.2-dev
error: Cannot build '/nix/store/axvz6ffkskzja7ga64pciv8cwr7gfd3a-sbcl-2.3.0.drv'.
       Reason: builder failed with exit code 1.
       Output paths:
         /nix/store/qm6xgprsx335n1bwg4kfy2slh0vpgf68-sbcl-2.3.0
       Last 25 log lines:
       > 37: ((FLET HOST-SB-FASL::LOAD-STREAM :IN LOAD) #<HOST-SB-SYS:FD-STREAM for "file /build/sbcl-2.3.0/make-host-1.lisp" {AFA9B99}> NIL)
       > 38: (LOAD "make-host-1.lisp" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST T :EXTERNAL-FORMAT :DEFAULT)
       > 39: (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp" T)
       > 40: (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp" -102578449) [tl,external]
       > 41: (HOST-SB-INT:SIMPLE-EVAL-IN-LEXENV (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp") #<NULL-LEXENV>)
       > 42: (EVAL (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp"))
       > 43: (HOST-SB-EXT:INTERACTIVE-EVAL (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp") :EVAL NIL)
       > 44: (HOST-SB-IMPL::REPL-FUN NIL)
       > 45: ((LAMBDA NIL :IN HOST-SB-IMPL::TOPLEVEL-REPL))
       > 46: (HOST-SB-IMPL::%WITH-REBOUND-IO-SYNTAX #<CLOSURE (LAMBDA NIL :IN HOST-SB-IMPL::TOPLEVEL-REPL) {AF3E1C5}>)
       > 47: (HOST-SB-IMPL::TOPLEVEL-REPL NIL)
       > 48: (HOST-SB-IMPL::TOPLEVEL-INIT)
       > 49: ((FLET #:WITHOUT-INTERRUPTS-BODY-75 :IN HOST-SB-EXT:SAVE-LISP-AND-DIE))
       > 50: ((LABELS HOST-SB-IMPL::RESTART-LISP :IN HOST-SB-EXT:SAVE-LISP-AND-DIE))
       >
       > unhandled condition in --disable-debugger mode, quitting
       > ; compilation aborted after 0:00:00.508
       > ;
       > ; compilation unit aborted
       > ;   caught 2 fatal ERROR conditions
       > ;   caught 6 STYLE-WARNING conditions
       >
       > real	0m9.769s
       > user	0m9.198s
       > sys	0m0.517s
       For full logs, run:
         nix log /nix/store/axvz6ffkskzja7ga64pciv8cwr7gfd3a-sbcl-2.3.0.drv
error: Cannot build '/nix/store/h2jblcn7hp0xriqyfc308j9wi0ggrpkw-sbcl-2.3.0.drv'.
       Reason: 1 dependency failed.
       Output paths:
         /nix/store/idjm6j8gc7np8pc030pq1cn1lbac0vsv-sbcl-2.3.0
error: Cannot build '/nix/store/j3ybd4czg0zf72c7x3zmlbz7rixmvwb4-acl2-8.5.drv'.
       Reason: 1 dependency failed.
       Output paths:
         /nix/store/g5wmrfbx3h9r8bz2hbfx3ngdfsq6xadc-acl2-8.5