The time is now Monday, June 16th, 2025 4:15:55am (/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 typed-rosette) Resolved "typed-rosette" via file:///home/root//catalogs/archive/catalog 00: Resolved "rosette" via file:///home/root//catalogs/built/catalog 01: Resolved "turnstile" via file:///home/root//catalogs/built/catalog 00: Resolved "lens-common" via file:///home/root//catalogs/built/catalog 00: Resolved "lens-unstable" via file:///home/root//catalogs/built/catalog Resolved "syntax-classes-lib" 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 00: Resolved "turnstile-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "turnstile-example" via file:///home/root//catalogs/built/catalog 01: Resolved "turnstile-doc" via file:///home/root//catalogs/built/catalog Resolved "turnstile-test" via file:///home/root//catalogs/built/catalog 01: Resolved "macrotypes-lib" via file:///home/root//catalogs/built/catalog Resolved "lens-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "lens-data" via file:///home/root//catalogs/built/catalog 01: Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog Resolved "sweet-exp-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "fancy-app" via file:///home/root//catalogs/built/catalog 01: Resolved "struct-update-lib" via file:///home/root//catalogs/built/catalog Resolved "kw-make-struct-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-macro-lang" via file:///home/root//catalogs/built/catalog Resolved "rackunit-macrotypes-lib" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of typed-rosette: rosette turnstile lens-common lens-unstable syntax-classes-lib dependencies of rosette: custom-load rfc6455 dependencies of turnstile: turnstile-lib turnstile-example turnstile-doc turnstile-test dependencies of turnstile-lib: macrotypes-lib lens-lib dependencies of lens-lib: lens-data reprovide-lang-lib sweet-exp-lib dependencies of lens-data: fancy-app struct-update-lib kw-make-struct-lib dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang dependencies of turnstile-doc: rackunit-macrotypes-lib 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 --- [9:16:23] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.4/share/info-cache.rktd raco setup: --- pre-installing collections --- [9:16:23] 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 --- [9:16:24] raco setup: --- installing shared files --- [9:16:24] raco setup: --- compiling collections --- [9:16:24] raco setup: making: /syntax/parse raco setup: making: /syntax/parse/experimental raco setup: making: /syntax/parse/lib raco setup: making: /syntax/parse/private 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: /fancy-app raco setup: in /fancy-app raco setup: making: /kw-make-struct-lib/kw-make-struct raco setup: in /kw-make-struct-lib/kw-make-struct raco setup: in /syntax-classes-lib/syntax/parse/class raco setup: making: /lang-file-lib/lang-file raco setup: in /lang-file-lib/lang-file raco setup: making: /lang-file-lib/lang-file/test raco setup: in /lang-file-lib/lang-file/test raco setup: making: /lens-common/lens raco setup: in /lens-common/lens raco setup: in /lens-common/lens/private/base raco setup: in /reprovide-lang-lib/reprovide raco setup: in /lens-common/lens/private/util raco setup: in /reprovide-lang-lib/reprovide/require-transformer raco setup: in /reprovide-lang-lib/reprovide/require-transformer/private raco setup: in /syntax-macro-lang/syntax raco setup: in /lens-common/lens/private/compound raco setup: in /lens-common/lens/private/isomorphism raco setup: in /sweet-exp-lib/sweet-exp raco setup: in /sweet-exp-lib/sweet-exp/modern raco setup: in /lens-common/lens/private/test-util raco setup: making: /lens-common/lens/private raco setup: making: /lens-common/lens/private/base raco setup: making: /lens-common/lens/private/common raco setup: in /lens-common/lens/private/common raco setup: making: /lens-common/lens/private/compound raco setup: in /lens-common/lens/private/compound raco setup: in /lens-data/lens/private/list raco setup: in /lens-data/lens/private/util raco setup: in /lens-common/lens/private/util raco setup: in /lens-data/lens/private/string raco setup: in /lens-data/lens/private/vector raco setup: in /lens-data/lens/private/isomorphism raco setup: making: /lens-common/lens/private/isomorphism raco setup: in /lens-common/lens/private/isomorphism raco setup: making: /lens-common/lens/private/test-util raco setup: in /lens-common/lens/private/test-util raco setup: making: /lens-common/lens/private/util raco setup: making: /lens-data/lens raco setup: in /lens-data/lens raco setup: in /lens-data/lens/data raco setup: in /lens-data/lens/private/dict raco setup: in /lens-data/lens/private/util raco setup: in /lens-data/lens/private/hash raco setup: in /lens-data/lens/private/stream raco setup: in /lens-data/lens/private/struct raco setup: in /struct-update-lib/struct-update raco setup: making: /lens-data/lens/data raco setup: making: /lens-data/lens/private raco setup: in /lens-data/lens/private raco setup: making: /lens-data/lens/private/dict raco setup: in /lens-data/lens/private/dict raco setup: making: /lens-data/lens/private/hash raco setup: in /lens-data/lens/private/hash raco setup: making: /lens-data/lens/private/isomorphism raco setup: in /lens-data/lens/private/isomorphism raco setup: making: /lens-data/lens/private/list raco setup: in /lens-data/lens/private/list raco setup: making: /lens-data/lens/private/set raco setup: in /lens-data/lens/private/set raco setup: in /lens-data/lens/private/util raco setup: making: /lens-data/lens/private/stream raco setup: making: /lens-data/lens/private/string raco setup: in /lens-data/lens/private/string raco setup: making: /lens-data/lens/private/struct raco setup: in /lens-data/lens/private/struct raco setup: making: /lens-data/lens/private/syntax raco setup: in /lens-data/lens/private/syntax raco setup: making: /lens-data/lens/private/tests raco setup: in /lens-data/lens/private/tests raco setup: making: /lens-data/lens/private/util raco setup: making: /lens-data/lens/private/vector raco setup: making: /lens-data/lens/private/view-set raco setup: in /lens-data/lens/private/view-set raco setup: making: /lens-lib/lens (lens) raco setup: in /lens-lib/lens raco setup: making: /lens-unstable/unstable (unstable lens) raco setup: in /lens-unstable/unstable raco setup: in /lens-unstable/unstable/lens raco setup: in /lens-unstable/unstable/lens/syntax raco setup: making: /lens-unstable/unstable/lens raco setup: in /lens-unstable/unstable/lens raco setup: making: /lens-unstable/unstable/lens/syntax raco setup: making: /macrotypes-lib/macrotypes raco setup: in /macrotypes-lib/macrotypes raco setup: making: /rackunit-macrotypes-lib/rackunit raco setup: in /rackunit-macrotypes-lib/rackunit raco setup: making: /reprovide-lang-lib/reprovide raco setup: making: /reprovide-lang-lib/reprovide/require-transformer raco setup: in /reprovide-lang-lib/reprovide/require-transformer raco setup: making: /reprovide-lang-lib/reprovide/require-transformer/private 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: /struct-update-lib/struct-update raco setup: making: /sweet-exp-lib/sweet-exp raco setup: in /sweet-exp-lib/sweet-exp raco setup: making: /sweet-exp-lib/sweet-exp/modern raco setup: making: /sweet-exp-lib/sweet-exp/racket raco setup: in /sweet-exp-lib/sweet-exp/racket raco setup: making: /syntax-classes-lib/syntax raco setup: making: /syntax-classes-lib/syntax/parse raco setup: making: /syntax-classes-lib/syntax/parse/class raco setup: in /syntax-classes-lib/syntax/parse/class raco setup: making: /syntax-macro-lang/syntax raco setup: making: /syntax-macro-lang/tests raco setup: making: /syntax-macro-lang/tests/syntax raco setup: making: /syntax-macro-lang/tests/syntax/macro-lang raco setup: in /syntax-macro-lang/tests/syntax/macro-lang raco setup: making: /turnstile-doc/turnstile raco setup: in /turnstile-doc/turnstile raco setup: in /turnstile-doc/turnstile/scribblings raco setup: in /turnstile-lib/turnstile raco setup: making: /turnstile-doc/turnstile/scribblings raco setup: making: /turnstile-example/turnstile raco setup: making: /turnstile-example/turnstile/examples raco setup: in /turnstile-example/turnstile/examples raco setup: in /turnstile-lib/turnstile/base/lang raco setup: in /turnstile-lib/turnstile raco setup: in /turnstile-lib/turnstile/lang raco setup: in /turnstile-example/turnstile/examples/util raco setup: making: /turnstile-example/turnstile/examples/cmu15-814 raco setup: in /turnstile-example/turnstile/examples/cmu15-814 raco setup: in /turnstile-lib/turnstile raco setup: in /turnstile-lib/turnstile/quicklang/lang raco setup: making: /turnstile-example/turnstile/examples/dep raco setup: in /turnstile-example/turnstile/examples/dep raco setup: in /turnstile-lib/turnstile+ raco setup: in /turnstile-lib/turnstile raco setup: in /turnstile-lib/turnstile+/base/lang raco setup: in /turnstile-lib/turnstile+/quicklang/lang raco setup: making: /turnstile-example/turnstile/examples/linear raco setup: in /turnstile-example/turnstile/examples/linear raco setup: making: /turnstile-example/turnstile/examples/optimize raco setup: in /turnstile-example/turnstile/examples/optimize raco setup: making: /turnstile-example/turnstile/examples/simple raco setup: in /turnstile-example/turnstile/examples/simple raco setup: making: /turnstile-example/turnstile/examples/util raco setup: making: /turnstile-lib/turnstile raco setup: in /turnstile-lib/turnstile raco setup: making: /turnstile-lib/turnstile+ raco setup: in /turnstile-lib/turnstile+ raco setup: making: /turnstile-lib/turnstile+/base raco setup: making: /turnstile-lib/turnstile+/base/lang raco setup: making: /turnstile-lib/turnstile+/lang raco setup: in /turnstile-lib/turnstile+/lang raco setup: making: /turnstile-lib/turnstile+/quicklang raco setup: making: /turnstile-lib/turnstile+/quicklang/lang raco setup: making: /turnstile-lib/turnstile/base raco setup: making: /turnstile-lib/turnstile/base/lang raco setup: making: /turnstile-lib/turnstile/lang raco setup: making: /turnstile-lib/turnstile/lang/lang raco setup: in /turnstile-lib/turnstile/lang/lang raco setup: making: /turnstile-lib/turnstile/quicklang raco setup: making: /turnstile-lib/turnstile/quicklang/lang raco setup: making: /turnstile-test/tests raco setup: in /turnstile-test/tests raco setup: making: /typed-rosette/sdsl raco setup: making: /typed-rosette/sdsl/typed-bv raco setup: in /typed-rosette/sdsl/typed-bv raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed/lib /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/main.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/sdsl/typed-bv/bv.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/sdsl/typed-fsm raco setup: in /typed-rosette/sdsl/typed-fsm raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed/lib /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/main.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/sdsl/typed-fsm/fsm.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/sdsl/typed-ifc raco setup: in /typed-rosette/sdsl/typed-ifc raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed/lib /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/main.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/sdsl/typed-ifc/ifc.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/sdsl/typed-synthcl raco setup: in /typed-rosette/sdsl/typed-synthcl raco setup: in /rosette/sdsl/synthcl/model raco setup: in /rosette/sdsl/synthcl/lang raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed/lib /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/main.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/sdsl/typed-synthcl/synthcl.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/test raco setup: in /typed-rosette/test raco setup: in /typed-rosette/typed/bv/lang raco setup: in /typed-rosette/sdsl/typed-bv raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed/lib /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/main.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/sdsl/typed-bv/bv.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/test/bv-ref-tests.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/test/typed-rosette raco setup: in /typed-rosette/test/typed-rosette raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed/lib /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/test/typed-rosette/case-arrow.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/typed raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed/lib /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/main.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/typed/bv raco setup: making: /typed-rosette/typed/bv/lang raco setup: making: /typed-rosette/typed/fsm raco setup: making: /typed-rosette/typed/fsm/lang raco setup: in /typed-rosette/typed/fsm/lang raco setup: making: /typed-rosette/typed/ifc raco setup: making: /typed-rosette/typed/ifc/lang raco setup: in /typed-rosette/typed/ifc/lang raco setup: making: /typed-rosette/typed/lib raco setup: in /typed-rosette/typed/lib raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/rosette /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/angelic.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/typed/query raco setup: in /typed-rosette/typed/query raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed/lib /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/query/debug.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed/rosette raco setup: in /typed-rosette/typed raco setup: in /typed-rosette/typed/lib /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/rosette/base-forms.rkt location...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /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/user/.local/share/racket/8.17.0.4/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: making: /typed-rosette/typed/rosette/lang raco setup: in /typed-rosette/typed/rosette/lang raco setup: making: /typed-rosette/typed/synthcl raco setup: making: /typed-rosette/typed/synthcl/lang raco setup: in /typed-rosette/typed/synthcl/lang raco setup: --- creating launchers --- [9:20:13] raco setup: --- installing man pages --- [9:20:13] raco setup: --- building documentation --- [9:20:13] raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /fancy-app/doc/fancy-app 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: syncing: /turnstile-doc/turnstile/doc/turnstile 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 --- [9:20:53] raco setup: --- post-installing collections --- [9:20:53] 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 --- [9:20:53] raco setup: error: during making for /typed-rosette/sdsl/typed-bv raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt raco setup: error: during making for /typed-rosette/sdsl/typed-fsm raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt raco setup: error: during making for /typed-rosette/sdsl/typed-ifc raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt raco setup: error: during making for /typed-rosette/sdsl/typed-synthcl raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt raco setup: error: during making for /typed-rosette/test raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt raco setup: error: during making for /typed-rosette/test/typed-rosette raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt raco setup: error: during making for /typed-rosette/typed raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt raco setup: error: during making for /typed-rosette/typed/lib raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt raco setup: error: during making for /typed-rosette/typed/query raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt raco setup: error: during making for /typed-rosette/typed/rosette raco setup: /home/root/user/.local/share/racket/8.17.0.4/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec raco setup: at: rosette raco setup: in: (only-in rosette with-asserts) raco setup: compiling: /typed-rosette/typed/lib/check-asserts.rkt racket pkg install: packages installed, although setup reported errors The time is now Monday, June 16th, 2025 4:20:53am