The time is now Monday, June 16th, 2025 12:24:05am (/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 /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto protc-tools) Resolved "protc-tools" via file:///home/root//catalogs/archive/catalog Resolved "protc-tools-lib" via file:///home/root//catalogs/archive/catalog Resolved "protc" via file:///home/root//catalogs/archive/catalog Resolved "protc-lib" via file:///home/root//catalogs/archive/catalog 00: Resolved "brag" via file:///home/root//catalogs/built/catalog 00: Resolved "debug" via file:///home/root//catalogs/built/catalog 01: Resolved "html-parsing" via file:///home/root//catalogs/built/catalog 01: Resolved "parsack" via file:///home/root//catalogs/built/catalog 00: Resolved "rosette" via file:///home/root//catalogs/built/catalog 01: Resolved "sxml" via file:///home/root//catalogs/built/catalog Resolved "syntax-warn" via file:///home/root//catalogs/built/catalog 01: Resolved "brag-lib" via file:///home/root//catalogs/built/catalog Resolved "br-parser-tools-doc" via file:///home/root//catalogs/built/catalog Resolved "br-parser-tools-lib" via file:///home/root//catalogs/built/catalog Resolved "pretty-format" via file:///home/root//catalogs/built/catalog 01: Resolved "mcfly" via file:///home/root//catalogs/built/catalog Resolved "overeasy" via file:///home/root//catalogs/built/catalog 01: Resolved "parsack-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "parsack-doc" via file:///home/root//catalogs/built/catalog Resolved "parsack-test" via file:///home/root//catalogs/built/catalog 01: Resolved "custom-load" via file:///home/root//catalogs/built/catalog Resolved "rfc6455" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-warn-base" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-warn-cli" via file:///home/root//catalogs/built/catalog 00: Resolved "syntax-warn-doc" via file:///home/root//catalogs/built/catalog Resolved "syntax-warn-lang" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of protc-tools: protc-tools-lib dependencies of protc-tools-lib: protc dependencies of protc: protc-lib dependencies of protc-lib: brag debug html-parsing parsack rosette sxml syntax-warn dependencies of brag: brag-lib br-parser-tools-doc dependencies of brag-lib: br-parser-tools-lib dependencies of debug: pretty-format dependencies of html-parsing: mcfly overeasy dependencies of parsack: parsack-lib parsack-doc parsack-test dependencies of rosette: custom-load rfc6455 dependencies of syntax-warn: syntax-warn-base syntax-warn-cli syntax-warn-doc syntax-warn-lang 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 --- [5:24:29] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.4/share/info-cache.rktd raco setup: --- pre-installing collections --- [5:24:29] 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 --- [5:24:31] raco setup: --- installing shared files --- [5:24:31] raco setup: --- compiling collections --- [5:24:31] raco setup: making: /racket/base raco setup: making: /racket/base/lang raco setup: making: /br-parser-tools-doc/br-parser-tools raco setup: in /br-parser-tools-doc/br-parser-tools raco setup: in /br-parser-tools-lib/br-parser-tools raco setup: in /br-parser-tools-lib/br-parser-tools/private-lex raco setup: in /br-parser-tools-lib/br-parser-tools/private-yacc raco setup: making: /br-parser-tools-lib/br-parser-tools raco setup: in /br-parser-tools-lib/br-parser-tools raco setup: making: /br-parser-tools-lib/br-parser-tools/examples raco setup: in /br-parser-tools-lib/br-parser-tools/examples raco setup: making: /br-parser-tools-lib/br-parser-tools/private-lex raco setup: making: /br-parser-tools-lib/br-parser-tools/private-yacc raco setup: making: /brag-lib/brag raco setup: in /brag-lib/brag raco setup: in /brag-lib/brag/codegen raco setup: in /brag-lib/brag/rules raco setup: making: /brag-lib/brag/codegen raco setup: in /brag-lib/brag/codegen raco setup: in /brag-lib/brag/private raco setup: in /brag-lib/brag/rules raco setup: making: /brag-lib/brag/private raco setup: in /brag-lib/brag/private raco setup: making: /brag-lib/brag/rules raco setup: making: /brag/brag raco setup: in /brag/brag 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: /debug/debug raco setup: in /debug/debug raco setup: in /debug/debug/private raco setup: in /pretty-format/pretty-format raco setup: in /debug/debug/report raco setup: in /debug/debug/scribblings raco setup: making: /debug/debug/lang raco setup: in /debug/debug/lang raco setup: making: /debug/debug/no-output raco setup: making: /debug/debug/no-output/lang raco setup: in /debug/debug/no-output/lang raco setup: making: /debug/debug/private raco setup: making: /debug/debug/report raco setup: making: /debug/debug/scribblings raco setup: making: /debug/debug/test raco setup: in /debug/debug/test raco setup: making: /debug/typed raco setup: making: /debug/typed/debug raco setup: in /debug/typed/debug raco setup: in /debug/typed/debug/report raco setup: making: /debug/typed/debug/report raco setup: making: /debug/typed/debug/test raco setup: in /debug/typed/debug/test raco setup: making: /html-parsing (html-parsing) raco setup: in /html-parsing raco setup: in /mcfly raco setup: in /overeasy raco setup: making: /mcfly (McFly Runtime) raco setup: in /mcfly raco setup: making: /overeasy (Overeasy) raco setup: in /overeasy raco setup: making: /parsack-doc/parsack raco setup: in /parsack-doc/parsack raco setup: in /parsack-doc/parsack/scribblings raco setup: in /parsack-lib/parsack raco setup: making: /parsack-doc/parsack/scribblings raco setup: making: /parsack-lib/parsack raco setup: in /parsack-lib/parsack raco setup: making: /parsack-test/parsack raco setup: making: /parsack-test/parsack/examples raco setup: in /parsack-test/parsack/examples raco setup: making: /parsack-test/tests raco setup: in /parsack-test/tests raco setup: making: /pretty-format/pretty-format raco setup: in /pretty-format/pretty-format raco setup: in /pretty-format/pretty-format/scribblings raco setup: making: /pretty-format/pretty-format/scribblings raco setup: making: /pretty-format/typed raco setup: in /pretty-format/typed raco setup: making: /protc-lib/protc raco setup: in /protc-lib/protc raco setup: in /protc-lib/protc/private /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.17.0.4/collects /home/root/racket/collects/ ... [198 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/private/export.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/private/direct-model.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/base.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt:22:9 context...: /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile ... raco setup: making: /protc-lib/protc/private raco setup: in /protc-lib/protc/private /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/private/aspects.rkt:4:9: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.17.0.4/collects /home/root/racket/collects/ ... [198 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/private/aspects.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/private/aspects.rkt:4:9 context...: /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:109:4 /home/root/racket/collects/compiler/compiler.rkt:179:4: worker /home/root/racket/collects/compiler/compiler.rkt:95:2: compile-directory-visitor /home/root/racket/collects/setup/setup-core.rkt:1120:2: compile-cc /home/root/racket/collects/setup/setup-core.rkt:1211:8 /home/root/racket/collects/setup/setup.rkt:80:3 /home/root/racket/collects/pkg/main.rkt:18:0: setup body of (submod "/home/root/racket/collects/pkg/main.rkt" main) /home/root/racket/collects/raco/raco.rkt:41:0 body of "/home/root/racket/collects/raco/raco.rkt" ... raco setup: making: /protc-lib/protc/units raco setup: in /protc-lib/protc/units raco setup: in /sxml/sxml raco setup: in /sxml/sxml/ssax raco setup: in /protc-lib/protc/units/test raco setup: making: /protc-lib/protc/units/test raco setup: making: /protc-tools-lib/protc raco setup: in /protc-tools-lib/protc raco setup: in /protc-tools-lib/protc/private raco setup: making: /protc-tools-lib/protc/check raco setup: in /protc-tools-lib/protc/check raco setup: making: /protc-tools-lib/protc/export raco setup: in /protc-tools-lib/protc/export raco setup: in /protc-lib/protc /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.17.0.4/collects /home/root/racket/collects/ ... [198 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-tools-lib/protc/export/cli.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt:22:9 context...: /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:109:4 /home/root/racket/collects/compiler/compiler.rkt:179:4: worker /home/root/racket/collects/compiler/compiler.rkt:95:2: compile-directory-visitor ... raco setup: making: /protc-tools-lib/protc/private raco setup: making: /protc-tools-lib/protc/protocols raco setup: in /protc-tools-lib/protc/protocols raco setup: in /protc-lib/protc raco setup: in /protc-lib/protc/private /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.17.0.4/collects /home/root/racket/collects/ ... [198 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/private/export.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/private/direct-model.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/base.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-tools-lib/protc/protocols/core.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt:22:9 context...: /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile ... raco setup: making: /protc-tools-lib/protc/protocols/test raco setup: making: /protc-tools-lib/protio raco setup: in /protc-tools-lib/protio raco setup: making: /protc-tools-lib/protocol-checker raco setup: in /protc-tools-lib/protocol-checker 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/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/guide/scribble raco setup: in /rosette/rosette/guide/scribble/datatypes raco setup: in /rosette/rosette/guide/scribble/util 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/lang 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: making: /sxml/sxml (sxml) raco setup: in /sxml/sxml raco setup: in /sxml/sxml/scribblings raco setup: making: /sxml/sxml/scribblings raco setup: in /sxml/sxml/scribblings raco setup: making: /sxml/sxml/ssax (ssax) raco setup: in /sxml/sxml/ssax raco setup: making: /syntax-warn-base (syntax-warn) raco setup: in /syntax-warn-base raco setup: in /syntax-warn-base/warn/private raco setup: making: /syntax-warn-base/warn raco setup: making: /syntax-warn-cli (syntax-warn-cli) raco setup: in /syntax-warn-cli raco setup: making: /syntax-warn-cli/warn raco setup: in /syntax-warn-cli/warn raco setup: in /syntax-warn-cli/warn/private raco setup: in /syntax-warn-base/warn/private raco setup: making: /syntax-warn-cli/warn/private raco setup: in /syntax-warn-cli/warn/private raco setup: making: /syntax-warn-cli/warn/test-no-warnings raco setup: in /syntax-warn-cli/warn/test-no-warnings raco setup: in /syntax-warn-lang/base raco setup: in /syntax-warn-lang/base/private raco setup: in /syntax-warn-base/warn/private raco setup: making: /syntax-warn-cli/warn/test-warnings raco setup: in /syntax-warn-cli/warn/test-warnings raco setup: making: /syntax-warn-cli/warn/test-warnings-suppressed raco setup: in /syntax-warn-cli/warn/test-warnings-suppressed raco setup: making: /syntax-warn-doc (syntax-warn-doc) raco setup: in /syntax-warn-doc raco setup: making: /syntax-warn-lang (syntax-warn-lang) raco setup: in /syntax-warn-lang raco setup: making: /syntax-warn-lang/base raco setup: making: /syntax-warn-lang/base/private raco setup: --- creating launchers --- [5:27:20] raco setup: --- installing man pages --- [5:27:20] raco setup: --- building documentation --- [5:27:20] raco setup: syncing: /br-parser-tools-doc/br-parser-tools/doc/br-parser-tools raco setup: syncing: /brag/brag/doc/brag raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /debug/debug/doc/debug raco setup: syncing: /html-parsing/doc/html-parsing raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /mcfly/doc/mcfly raco setup: syncing: /overeasy/doc/overeasy raco setup: syncing: /parsack-doc/parsack/doc/parsack raco setup: syncing: /pretty-format/pretty-format/doc/pretty-format 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: syncing: /sxml/sxml/doc/sxml raco setup: syncing: /syntax-warn-doc/doc/syntax-warn 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 --- [5:27:47] raco setup: installing: /racket raco setup: installing: /gui-lib/racket/gui raco setup: --- post-installing collections --- [5:27:47] 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 ********** raco setup: --- summary of errors --- [5:27:47] raco setup: error: during making for /protc-lib/protc raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.17.0.4/collects raco setup: /home/root/racket/collects/ raco setup: ... [198 additional linked and package directories] raco setup: compiling: /protc-lib/protc/export.rkt raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/private/aspects.rkt:4:9: collection not found raco setup: for module path: rdf/utils raco setup: collection: "rdf" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.17.0.4/collects raco setup: /home/root/racket/collects/ raco setup: ... [198 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/aspects.rkt raco setup: error: during making for /protc-tools-lib/protc/export raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.17.0.4/collects raco setup: /home/root/racket/collects/ raco setup: ... [198 additional linked and package directories] raco setup: compiling: /protc-lib/protc/export.rkt raco setup: error: during making for /protc-tools-lib/protc/protocols raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.17.0.4/collects raco setup: /home/root/racket/collects/ raco setup: ... [198 additional linked and package directories] raco setup: compiling: /protc-lib/protc/export.rkt racket pkg install: packages installed, although setup reported errors The time is now Monday, June 16th, 2025 12:27:47am