The time is now Sunday, June 15th, 2025 5:29:13pm (/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: PLT_PKG_BUILD_SERVICE=1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto forged-ocelot) Resolved "forged-ocelot" via file:///home/root//catalogs/archive/catalog Resolved "rosette" 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 forged-ocelot: rosette dependencies of rosette: custom-load rfc6455 raco setup: version: 8.17.0.4 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.17.0.4 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.17.0.4/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/8.17.0.4/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.17.0.4/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [22:29:26] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.4/share/info-cache.rktd raco setup: --- pre-installing collections --- [22:29:26] 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/8.17.0.4/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 --- [22:29:27] raco setup: --- installing shared files --- [22:29:27] raco setup: --- compiling collections --- [22:29:27] raco setup: making: /custom-load (custom-load) raco setup: in /custom-load raco setup: in /custom-load/private raco setup: making: /custom-load/private raco setup: making: /forged-ocelot raco setup: in /forged-ocelot raco setup: in /forged-ocelot/lang raco setup: in /rosette/rosette raco setup: in /rosette/rosette/base raco setup: in /rosette/rosette/base/adt raco setup: in /rosette/rosette/base/core raco setup: in /rosette/rosette/base/form raco setup: in /rosette/rosette/base/struct raco setup: in /rosette/rosette/query raco setup: in /rosette/rosette/solver raco setup: in /rosette/rosette/solver/smt raco setup: in /rosette/rosette/lang raco setup: in /rosette/rosette/lib raco setup: in /forged-ocelot/engine raco setup: in /forged-ocelot/lib raco setup: in /forged-ocelot/scribblings raco setup: making: /forged-ocelot/engine raco setup: making: /forged-ocelot/lang raco setup: making: /forged-ocelot/lib raco setup: in /forged-ocelot/lib raco setup: making: /forged-ocelot/scribblings raco setup: making: /rfc6455/net raco setup: in /rfc6455/net raco setup: in /rfc6455/net/rfc6455 raco setup: in /rfc6455/net/rfc6455/hybi00 raco setup: in /rfc6455/net/rfc6455/private raco setup: in /rfc6455/net/rfc6455/rfc6455 raco setup: making: /rfc6455/net/rfc6455 raco setup: in /rfc6455/net/rfc6455 raco setup: in /rfc6455/net/rfc6455/scribblings raco setup: making: /rfc6455/net/rfc6455/examples raco setup: in /rfc6455/net/rfc6455/examples raco setup: making: /rfc6455/net/rfc6455/hybi00 raco setup: making: /rfc6455/net/rfc6455/private raco setup: making: /rfc6455/net/rfc6455/rfc6455 raco setup: making: /rfc6455/net/rfc6455/scribblings raco setup: making: /rosette/rosette raco setup: in /rosette/rosette raco setup: in /rosette/rosette/guide/scribble raco setup: in /rosette/rosette/guide/scribble/datatypes raco setup: in /rosette/rosette/guide/scribble/util raco setup: in /rosette/rosette/solver/smt raco setup: in /rosette/rosette/guide/scribble/error-tracing raco setup: in /rosette/rosette/guide/scribble/essentials raco setup: in /rosette/rosette/lib raco setup: in /rosette/rosette/lib/util raco setup: in /rosette/rosette/guide/scribble/forms raco setup: in /rosette/rosette/guide/scribble/libs raco setup: in /rosette/rosette/guide/scribble/performance raco setup: in /rosette/rosette/guide/scribble/reflection raco setup: in /rosette/rosette/guide/scribble/unsafe raco setup: in /rosette/rosette/guide/scribble/welcome raco setup: making: /rosette/rosette/base raco setup: making: /rosette/rosette/base/adt raco setup: making: /rosette/rosette/base/core raco setup: making: /rosette/rosette/base/form raco setup: making: /rosette/rosette/base/struct raco setup: making: /rosette/rosette/guide raco setup: making: /rosette/rosette/guide/scribble raco setup: making: /rosette/rosette/guide/scribble/datatypes raco setup: in /rosette/rosette/guide/scribble/datatypes raco setup: in /rosette/rosette/safe/lang raco setup: making: /rosette/rosette/guide/scribble/error-tracing raco setup: in /rosette/rosette/guide/scribble/error-tracing raco setup: making: /rosette/rosette/guide/scribble/essentials raco setup: in /rosette/rosette/guide/scribble/essentials raco setup: in /rosette/rosette/guide/scribble/util raco setup: making: /rosette/rosette/guide/scribble/forms raco setup: making: /rosette/rosette/guide/scribble/libs raco setup: in /rosette/rosette/guide/scribble/libs raco setup: making: /rosette/rosette/guide/scribble/performance raco setup: in /rosette/rosette/guide/scribble/performance raco setup: making: /rosette/rosette/guide/scribble/reflection raco setup: making: /rosette/rosette/guide/scribble/unsafe raco setup: making: /rosette/rosette/guide/scribble/util raco setup: in /rosette/rosette/guide/scribble/util raco setup: making: /rosette/rosette/guide/scribble/welcome raco setup: making: /rosette/rosette/lang raco setup: making: /rosette/rosette/lib raco setup: in /rosette/rosette/lib raco setup: in /rosette/rosette/lib/profile raco setup: in /rosette/rosette/lib/profile/renderer raco setup: making: /rosette/rosette/lib/profile raco setup: in /rosette/rosette/lib/profile raco setup: in /rosette/rosette/lib/profile/renderer raco setup: in /rosette/rosette/lib/profile/renderer/report raco setup: in /rosette/rosette/lib/util raco setup: making: /rosette/rosette/lib/profile/renderer raco setup: making: /rosette/rosette/lib/profile/renderer/report raco setup: making: /rosette/rosette/lib/profile/renderer/report/html raco setup: making: /rosette/rosette/lib/profile/renderer/report/html/css raco setup: making: /rosette/rosette/lib/profile/renderer/report/html/js raco setup: making: /rosette/rosette/lib/trace raco setup: in /rosette/rosette/lib/trace raco setup: making: /rosette/rosette/lib/trace/report raco setup: in /rosette/rosette/lib/trace/report raco setup: making: /rosette/rosette/lib/trace/report/dist raco setup: making: /rosette/rosette/lib/util raco setup: making: /rosette/rosette/private raco setup: making: /rosette/rosette/query raco setup: making: /rosette/rosette/safe raco setup: making: /rosette/rosette/safe/lang raco setup: making: /rosette/rosette/solver raco setup: making: /rosette/rosette/solver/smt raco setup: making: /rosette/sdsl raco setup: making: /rosette/test raco setup: --- creating launchers --- [22:30:43] raco setup: --- installing man pages --- [22:30:43] raco setup: --- building documentation --- [22:30:43] raco setup: syncing: /custom-load/doc/custom-load raco setup: running: /forged-ocelot/scribblings/forged-ocelot.scrbl raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: syncing: /rfc6455/net/rfc6455/doc/rfc6455 raco setup: syncing: /rosette/rosette/doc/rosette-guide raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: rendering: /forged-ocelot/scribblings/forged-ocelot.scrbl raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [22:31:07] raco setup: --- post-installing collections --- [22:31:07] 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/8.17.0.4/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 ********** The time is now Sunday, June 15th, 2025 5:31:07pm