For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Mon, 23 Feb 2026 03:49:42 +0000 (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run --auto-servernum -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto bv && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package bv) Resolved "bv" via file:///home/root//catalogs/built/catalog 00: Resolved "mischief" via file:///home/root//catalogs/built/catalog 00: Resolved "quickcheck" via file:///home/root//catalogs/built/catalog Resolved "rosette" via file:///home/root//catalogs/built/catalog Resolved "doc-coverage" via file:///home/root//catalogs/built/catalog Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-macro-lang" via file:///home/root//catalogs/built/catalog 00: Resolved "custom-load" via file:///home/root//catalogs/built/catalog Resolved "rfc6455" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of bv: mischief quickcheck rosette dependencies of quickcheck: doc-coverage dependencies of doc-coverage: reprovide-lang-lib dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang dependencies of rosette: custom-load rfc6455 raco setup: version: 9.1 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 9.1 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/9.1/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/9.1/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/9.1/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [3:49:48] raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd raco setup: --- pre-installing collections --- [3:49:48] raco setup: pre-installing: /rosette/rosette ********** Failed to install Z3 ********** Rosette installed successfully, but wasn't able to install the Z3 SMT solver. You'll need to manually install a Z3 binary at this location: /home/root/user/.local/share/racket/9.1/pkgs/rosette/bin/z3 or anywhere that is on your PATH. Alternatively, in your programs, you can construct a solver object manually: (current-solver (z3 #:path "/path/to/z3")) Note that Rosette ships with a specific release of Z3 (v4.8.8). Installing a different version of Z3 may change the performance of Rosette programs. The problem was: tcp-connect: host not found hostname: github.com port number: 443 system error: Temporary failure in name resolution; gai_err=-3 ********** raco setup: --- installing foreign libraries --- [3:49:48] raco setup: --- installing shared files --- [3:49:48] raco setup: --- compiling collections --- [3:49:48] raco setup: --- parallel build using 2 jobs --- [3:49:48] raco setup: 1 making: /bv raco setup: 0 making: /custom-load (custom-load) raco setup: 0 making: /custom-load/private raco setup: 0 making: /doc-coverage (doc-coverage) raco setup: 0 making: /doc-coverage/private raco setup: 0 making: /doc-coverage/tests raco setup: 0 making: /lang-file-lib/lang-file raco setup: 0 making: /lang-file-lib/lang-file/test raco setup: 0 making: /mischief/debug raco setup: 0 making: /mischief/debug/mischief/lang raco setup: 0 making: /mischief/debug/racket raco setup: 0 making: /mischief/debug/racket/base/lang raco setup: 0 making: /mischief/debug/racket/lang raco setup: 0 making: /mischief/mischief raco setup: 0 making: /mischief/mischief/lang raco setup: 0 making: /mischief/mischief/private raco setup: 1 making: /bv/private raco setup: 1 making: /mischief/no-debug raco setup: 0 making: /mischief/mischief/props/lang raco setup: 0 making: /mischief/mischief/stylish raco setup: 0 making: /mischief/mischief/tests raco setup: 1 making: /mischief/no-debug/mischief/lang raco setup: 1 making: /mischief/no-debug/racket raco setup: 1 making: /mischief/no-debug/racket/base/lang raco setup: 1 making: /mischief/no-debug/racket/lang raco setup: 1 making: /quickcheck/quickcheck (quickcheck) raco setup: 1 making: /quickcheck/quickcheck/private raco setup: 1 making: /quickcheck/quickcheck/private/test raco setup: 1 making: /quickcheck/rackunit (rackunit) raco setup: 1 making: /reprovide-lang-lib/reprovide raco setup: 1 making: /reprovide-lang-lib/reprovide/require-transformer raco setup: 1 making: /reprovide-lang-lib/reprovide/require-transformer/private raco setup: 0 making: /rfc6455/net raco setup: 1 making: /rosette/rosette raco setup: 0 making: /rfc6455/net/rfc6455 raco setup: 0 making: /rfc6455/net/rfc6455/examples raco setup: 0 making: /rfc6455/net/rfc6455/hybi00 raco setup: 0 making: /rfc6455/net/rfc6455/private raco setup: 0 making: /rfc6455/net/rfc6455/rfc6455 raco setup: 0 making: /syntax-macro-lang/syntax raco setup: 0 making: /syntax-macro-lang/tests/syntax/macro-lang raco setup: --- creating launchers --- [3:50:04] raco setup: --- installing man pages --- [3:50:04] raco setup: --- building documentation --- [3:50:04] raco setup: syncing: /bv/doc/bv raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /doc-coverage/doc/doc-coverage raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /quickcheck/quickcheck/doc/quickcheck raco setup: syncing: /rfc6455/net/rfc6455/doc/rfc6455 raco setup: syncing: /rosette/rosette/doc/rosette-guide raco setup: 0 running: /racket-index/scribblings/main/user/family.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/family.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [3:50:15] raco setup: --- post-installing collections --- [3:50:15] raco setup: post-installing: /rosette/rosette ********** Failed to install Z3 ********** Rosette installed successfully, but wasn't able to install the Z3 SMT solver. You'll need to manually install a Z3 binary at this location: /home/root/user/.local/share/racket/9.1/pkgs/rosette/bin/z3 or anywhere that is on your PATH. Alternatively, in your programs, you can construct a solver object manually: (current-solver (z3 #:path "/path/to/z3")) Note that Rosette ships with a specific release of Z3 (v4.8.8). Installing a different version of Z3 may change the performance of Rosette programs. The problem was: tcp-connect: host not found hostname: github.com port number: 443 system error: Temporary failure in name resolution; gai_err=-3 ********** raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/bv/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/bv/main.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/bv/private/bv-utils.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/bv/private/bv.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/bv/scribblings/bv.scrbl") 162 /home/root//user/.local/share/racket/9.1/pkgs/bv/private/bv.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/bv/private/bv-utils.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/bv/info.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/bv/main.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/bv/scribblings/bv.scrbl 163 tests passed The time is now Mon, 23 Feb 2026 03:50:25 +0000