these 12 derivations will be built:
  /nix/store/0h43xs9bfcxb0yp2znqxcxji76hsv4zd-minisat-2.2.1.drv
  /nix/store/x87k91w6gfxwkw2qnrqia2a9p0fpaj37-sbcl-bootstrap-1.2.7.drv
  /nix/store/axvz6ffkskzja7ga64pciv8cwr7gfd3a-sbcl-2.3.0.drv
  /nix/store/h2jblcn7hp0xriqyfc308j9wi0ggrpkw-sbcl-2.3.0.drv
  /nix/store/wzkzxlkvfgm5yxaxb64qwy84vana4c20-z3-4.8.15.drv
  /nix/store/zg2542rf3bf0rsw2nar1qxgcgfcbljsv-builder.pl.drv
  /nix/store/imjhzgpdd1pzry95n4rpk8npxfr55w1y-python3-3.10.9-env.drv
  /nix/store/ljgdl9zdap0a7rz91l1w0470i8s7kvs4-libipasirglucose4-2017.drv
  /nix/store/pnp4b5ls2bwnbg9nmq186zxjzipw7b3f-0001-Fix-some-paths-for-Nix-build.patch.drv
  /nix/store/rgdqd39vvfvaimbs9vl7na3nl9jr6fff-glucose-4.1.drv
  /nix/store/v3vdw0r6vh5y6cw43qa0bgmkgf9xvd4k-abc-verifier-unstable-2022-11-09.drv
  /nix/store/j3ybd4czg0zf72c7x3zmlbz7rixmvwb4-acl2-8.5.drv
these 17 paths will be fetched (27.0 MiB download, 93.6 MiB unpacked):
  /nix/store/hbw31kwwmx7d3y9zn54982h5qrmar202-glucose-ipasir.zip
  /nix/store/3hmdxx9f1m0bq055q08ayqcwk6phy34n-hook
  /nix/store/ag58kx61ivfzzadx504vhw1xrhqaivzg-hook
  /nix/store/fn7g3a3n8f9sdchxrj8qhg79lffh8w3q-hook
  /nix/store/3l1xcf99qq0jzlw3k8hwv2ajyfn0j07j-hostname-net-tools-2.10
  /nix/store/nrzxp23m6z19dhzv61z50ms1s23r8pxk-net-tools-2.10
  /nix/store/3a5wvxgnwncyg5vz0z25jvr34hzvlbjf-python3.10-setuptools-65.3.0
  /nix/store/ay0iw4ccrfpwha02w1qh4xknqb4qmjz4-readline-8.1p2-dev
  /nix/store/mnv4lib2lpapz0yq4lqmb6hvsnwhwi4q-sbcl-1.2.7-x86-linux-binary.tar.bz2
  /nix/store/d6r4kbr0w6m38y2minsfsaib06jyphg4-sbcl-2.3.0-source.tar.bz2
  /nix/store/062slxg1szc83y617lvwgbjq1xv8mgaq-source
  /nix/store/h42hw6j32lmz7nsi05rhqdfh3r8430sk-source
  /nix/store/sg1n5vf59ki4sxyv045ca5k9cjvhhlsq-source
  /nix/store/ivgf0ni74bkyxry4gb4chiv4bddfixsv-texinfo-6.8
  /nix/store/jcpsvcpcn6dh3b2nwdlyzlsw5slqp954-which-2.21
  /nix/store/4fm5v17s3ah009i1y2v5fpc4isq2xxxd-zstd-1.5.2-bin
  /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:01.579
       > ;
       > ; compilation unit aborted
       > ;   caught 2 fatal ERROR conditions
       > ;   caught 6 STYLE-WARNING conditions
       >
       > real	0m41.394s
       > user	0m18.793s
       > sys	0m1.425s
       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