The time is now Sunday, June 15th, 2025 5:41:07pm (/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 forge && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 180 --drdr --package forge) Resolved "forge" via file:///home/root//catalogs/built/catalog 00: Resolved "syntax-classes" via file:///home/root//catalogs/built/catalog 00: Resolved "br-parser-tools-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "brag-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "beautiful-racket" via file:///home/root//catalogs/built/catalog 00: Resolved "crypto-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "mischief" via file:///home/root//catalogs/built/catalog 01: Resolved "pretty-format" via file:///home/root//catalogs/built/catalog 01: Resolved "predicates" via file:///home/root//catalogs/built/catalog 00: Resolved "basedir" via file:///home/root//catalogs/built/catalog 00: Resolved "request" via file:///home/root//catalogs/built/catalog 01: Resolved "sha" via file:///home/root//catalogs/built/catalog 01: Resolved "http-easy" via file:///home/root//catalogs/built/catalog Resolved "base64-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-classes-doc" via file:///home/root//catalogs/built/catalog 01: Resolved "beautiful-racket-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "beautiful-racket-demo" via file:///home/root//catalogs/built/catalog Resolved "br-parser-tools-doc" via file:///home/root//catalogs/built/catalog 01: Resolved "beautiful-racket-macro" via file:///home/root//catalogs/built/catalog 01: Resolved "sugar" via file:///home/root//catalogs/built/catalog Resolved "debug" via file:///home/root//catalogs/built/catalog Resolved "brag" via file:///home/root//catalogs/built/catalog 01: Resolved "asn1-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "binaryio-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "gmp-lib" via file:///home/root//catalogs/built/catalog Resolved "scramble-lib" via file:///home/root//catalogs/built/catalog Resolved "fancy-app" via file:///home/root//catalogs/built/catalog Resolved "http-easy-lib" via file:///home/root//catalogs/built/catalog Resolved "resource-pool-lib" via file:///home/root//catalogs/built/catalog Resolved "actor-lib" via file:///home/root//catalogs/built/catalog Resolved "monocle-lib" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of forge: syntax-classes br-parser-tools-lib brag-lib beautiful-racket crypto-lib mischief pretty-format predicates basedir request sha http-easy base64-lib dependencies of syntax-classes: syntax-classes-lib syntax-classes-doc dependencies of beautiful-racket: beautiful-racket-lib beautiful-racket-demo br-parser-tools-doc dependencies of beautiful-racket-lib: beautiful-racket-macro sugar debug dependencies of beautiful-racket-demo: brag dependencies of crypto-lib: asn1-lib binaryio-lib gmp-lib scramble-lib dependencies of request: fancy-app dependencies of http-easy: http-easy-lib dependencies of http-easy-lib: resource-pool-lib dependencies of resource-pool-lib: actor-lib dependencies of actor-lib: monocle-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 --- [22:41:42] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.4/share/info-cache.rktd raco setup: --- pre-installing collections --- [22:41:42] raco setup: --- installing foreign libraries --- [22:41:42] raco setup: --- installing shared files --- [22:41:42] raco setup: --- compiling collections --- [22:41:42] 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: /actor-lib raco setup: in /actor-lib raco setup: in /monocle-lib raco setup: in /monocle-lib/monocle raco setup: making: /asn1-lib (asn1) raco setup: in /asn1-lib raco setup: in /asn1-lib/private raco setup: in /binaryio-lib raco setup: in /binaryio-lib/unchecked raco setup: in /binaryio-lib/private raco setup: making: /asn1-lib/private raco setup: making: /asn1-lib/util raco setup: in /asn1-lib/util raco setup: making: /base64-lib (base64) raco setup: in /base64-lib raco setup: making: /basedir raco setup: in /basedir raco setup: making: /beautiful-racket-demo/algebra-demo raco setup: in /beautiful-racket-demo/algebra-demo raco setup: in /brag-lib/brag/codegen 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: in /brag-lib/brag/private raco setup: in /brag-lib/brag raco setup: in /brag-lib/brag/rules raco setup: in /beautiful-racket-lib/br raco setup: in /beautiful-racket-macro/br raco setup: in /beautiful-racket-macro/br/private raco setup: in /debug/debug raco setup: in /sugar/sugar raco setup: in /sugar/sugar/private raco setup: making: /beautiful-racket-demo/atomic-taco-demo raco setup: in /beautiful-racket-demo/atomic-taco-demo raco setup: making: /beautiful-racket-demo/basic-demo raco setup: in /beautiful-racket-demo/basic-demo raco setup: in /beautiful-racket-lib/br raco setup: making: /beautiful-racket-demo/basic-demo-2 raco setup: in /beautiful-racket-demo/basic-demo-2 raco setup: making: /beautiful-racket-demo/basic-demo-2a raco setup: in /beautiful-racket-demo/basic-demo-2a raco setup: making: /beautiful-racket-demo/basic-demo-3 raco setup: in /beautiful-racket-demo/basic-demo-3 raco setup: making: /beautiful-racket-demo/basic-demo-nth raco setup: making: /beautiful-racket-demo/bf-demo raco setup: in /beautiful-racket-demo/bf-demo raco setup: making: /beautiful-racket-demo/chip8-demo raco setup: making: /beautiful-racket-demo/conjunction-demo raco setup: in /beautiful-racket-demo/conjunction-demo raco setup: making: /beautiful-racket-demo/dyadic-demo raco setup: in /beautiful-racket-demo/dyadic-demo raco setup: making: /beautiful-racket-demo/expand-only-demo raco setup: in /beautiful-racket-demo/expand-only-demo raco setup: making: /beautiful-racket-demo/funstacker-demo raco setup: in /beautiful-racket-demo/funstacker-demo raco setup: making: /beautiful-racket-demo/hdl-demo raco setup: making: /beautiful-racket-demo/hdl-tst-demo raco setup: making: /beautiful-racket-demo/injunction-demo raco setup: in /beautiful-racket-demo/injunction-demo raco setup: making: /beautiful-racket-demo/javascriptlike-demo raco setup: in /beautiful-racket-demo/javascriptlike-demo raco setup: making: /beautiful-racket-demo/jsonic-demo raco setup: in /beautiful-racket-demo/jsonic-demo raco setup: making: /beautiful-racket-demo/jsonic-demo-2 raco setup: in /beautiful-racket-demo/jsonic-demo-2 raco setup: in /beautiful-racket-lib/br raco setup: making: /beautiful-racket-demo/jsonic-demo-3 raco setup: in /beautiful-racket-demo/jsonic-demo-3 raco setup: making: /beautiful-racket-demo/jsonic-demo-3/scribblings raco setup: making: /beautiful-racket-demo/mirror-demo raco setup: in /beautiful-racket-demo/mirror-demo raco setup: making: /beautiful-racket-demo/numberstring-demo raco setup: in /beautiful-racket-demo/numberstring-demo raco setup: making: /beautiful-racket-demo/passthrough-demo raco setup: in /beautiful-racket-demo/passthrough-demo raco setup: making: /beautiful-racket-demo/pl-checklist-demo raco setup: in /beautiful-racket-demo/pl-checklist-demo raco setup: in /beautiful-racket-demo/pl-checklist-lang-maker raco setup: making: /beautiful-racket-demo/pl-checklist-lang-maker raco setup: making: /beautiful-racket-demo/precalc-demo raco setup: in /beautiful-racket-demo/precalc-demo raco setup: making: /beautiful-racket-demo/pythonesque-demo raco setup: in /beautiful-racket-demo/pythonesque-demo raco setup: making: /beautiful-racket-demo/quantum-taco-demo raco setup: in /beautiful-racket-demo/quantum-taco-demo raco setup: making: /beautiful-racket-demo/read-only-demo raco setup: in /beautiful-racket-demo/read-only-demo raco setup: making: /beautiful-racket-demo/regexcellent-demo raco setup: in /beautiful-racket-demo/regexcellent-demo raco setup: making: /beautiful-racket-demo/scriptish-demo raco setup: in /beautiful-racket-demo/scriptish-demo raco setup: making: /beautiful-racket-demo/stacker-demo raco setup: in /beautiful-racket-demo/stacker-demo raco setup: making: /beautiful-racket-demo/stackerizer-demo raco setup: in /beautiful-racket-demo/stackerizer-demo raco setup: making: /beautiful-racket-demo/taco-compiler-demo raco setup: in /beautiful-racket-demo/taco-compiler-demo raco setup: making: /beautiful-racket-demo/taco-decompiler-demo raco setup: in /beautiful-racket-demo/taco-decompiler-demo raco setup: making: /beautiful-racket-demo/taco-victory-demo raco setup: in /beautiful-racket-demo/taco-victory-demo raco setup: making: /beautiful-racket-demo/tacogram-demo raco setup: in /beautiful-racket-demo/tacogram-demo raco setup: making: /beautiful-racket-demo/tacopocalypse-demo raco setup: in /beautiful-racket-demo/tacopocalypse-demo raco setup: making: /beautiful-racket-demo/tacopocalypse-prep raco setup: in /beautiful-racket-demo/tacopocalypse-prep raco setup: making: /beautiful-racket-demo/txtadv-demo raco setup: making: /beautiful-racket-demo/wires-demo raco setup: in /beautiful-racket-demo/wires-demo raco setup: making: /beautiful-racket-demo/xmlish-demo raco setup: in /beautiful-racket-demo/xmlish-demo raco setup: making: /beautiful-racket-lib/br raco setup: in /beautiful-racket-lib/br raco setup: making: /beautiful-racket-macro/br raco setup: making: /beautiful-racket-macro/br/private raco setup: making: /beautiful-racket/br raco setup: in /beautiful-racket/br raco setup: in /beautiful-racket/br/scribblings raco setup: making: /beautiful-racket/br/scribblings raco setup: making: /binaryio-lib (binaryio) raco setup: in /binaryio-lib raco setup: in /binaryio-lib/unchecked raco setup: in /binaryio-lib/private raco setup: making: /binaryio-lib/private raco setup: making: /binaryio-lib/unchecked 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: 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: making: /brag-lib/brag/codegen 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: /crypto-lib (crypto) raco setup: in /crypto-lib raco setup: in /crypto-lib/private/argon2 raco setup: in /crypto-lib/private/common raco setup: in /scramble-lib raco setup: in /crypto-lib/private/rkt raco setup: in /crypto-lib/private/b2 raco setup: in /crypto-lib/private/decaf raco setup: in /crypto-lib/util raco setup: in /crypto-lib/private/gcrypt raco setup: in /crypto-lib/private/libcrypto raco setup: in /crypto-lib/private/nettle raco setup: in /gmp-lib raco setup: in /gmp-lib/private raco setup: in /crypto-lib/private/sodium raco setup: making: /crypto-lib/private raco setup: making: /crypto-lib/private/argon2 raco setup: making: /crypto-lib/private/b2 raco setup: making: /crypto-lib/private/common raco setup: making: /crypto-lib/private/decaf raco setup: making: /crypto-lib/private/gcrypt raco setup: making: /crypto-lib/private/libcrypto raco setup: making: /crypto-lib/private/nettle raco setup: making: /crypto-lib/private/rkt raco setup: in /crypto-lib/private/rkt raco setup: making: /crypto-lib/private/sodium raco setup: making: /crypto-lib/util raco setup: in /crypto-lib/util raco setup: in /scramble-lib raco setup: in /scramble-lib/private raco setup: making: /data-lib/data/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: /fancy-app raco setup: in /fancy-app raco setup: making: /forge raco setup: in /forge raco setup: in /forge/lang raco setup: in /http-easy-lib raco setup: in /http-easy-lib/http-easy/private raco setup: in /resource-pool-lib raco setup: in /resource-pool-lib/private raco setup: in /syntax-classes-lib/syntax/parse/class raco setup: in /predicates/predicates raco setup: in /forge/pardinus-cli/server raco setup: in /forge/solver-specific raco setup: in /forge/utils raco setup: in /forge/lang/alloy-syntax raco setup: in /forge/server raco setup: in /forge/racket-rfc6455/net raco setup: in /forge/racket-rfc6455/net/rfc6455 raco setup: in /forge/racket-rfc6455/net/rfc6455/hybi00 raco setup: in /forge/racket-rfc6455/net/rfc6455/private raco setup: in /forge/racket-rfc6455/net/rfc6455/rfc6455 raco setup: making: /forge/bsl raco setup: making: /forge/bsl/lang raco setup: in /forge/bsl/lang raco setup: making: /forge/check-ex-spec raco setup: in /forge/check-ex-spec raco setup: in /forge/check-ex-spec/library raco setup: in /forge/check-ex-spec/lang raco setup: in /forge/logging/2023 raco setup: in /sha/sha raco setup: making: /forge/check-ex-spec/core raco setup: in /forge/check-ex-spec/core raco setup: in /forge/check-ex-spec/core/lang raco setup: making: /forge/check-ex-spec/core/lang raco setup: making: /forge/check-ex-spec/lang raco setup: in /forge/check-ex-spec/lang raco setup: in /forge/lang raco setup: making: /forge/check-ex-spec/library raco setup: making: /forge/core raco setup: in /forge/core raco setup: in /forge/core/lang raco setup: making: /forge/core/lang raco setup: making: /forge/decode-wheat-lang raco setup: in /forge/decode-wheat-lang raco setup: making: /forge/decode-wheat-lang/lang raco setup: in /forge/decode-wheat-lang/lang raco setup: making: /forge/demo raco setup: in /forge/demo raco setup: making: /forge/domains raco setup: making: /forge/domains/abac raco setup: in /forge/domains/abac raco setup: in /forge/froglet/lang raco setup: in /forge/lang raco setup: making: /forge/domains/abac/lang raco setup: in /forge/domains/abac/lang raco setup: making: /forge/domains/crypto raco setup: in /forge/domains/crypto raco setup: in /forge/domains/crypto/lang raco setup: making: /forge/domains/crypto/lang raco setup: making: /forge/domains/crypto/vis raco setup: making: /forge/froglet raco setup: making: /forge/froglet/lang raco setup: making: /forge/lang raco setup: in /forge/lang raco setup: making: /forge/lang/alloy-syntax raco setup: in /forge/lang/alloy-syntax raco setup: making: /forge/logging raco setup: in /forge/logging raco setup: in /request/request raco setup: in /request/request/private raco setup: making: /forge/logging/2022 raco setup: in /forge/logging/2022 raco setup: making: /forge/logging/2023 raco setup: making: /forge/logging/check-ex-spec raco setup: in /forge/logging/check-ex-spec raco setup: making: /forge/pardinus-cli raco setup: making: /forge/pardinus-cli/jar raco setup: making: /forge/pardinus-cli/jar/win32 raco setup: making: /forge/pardinus-cli/jar/win64 raco setup: making: /forge/pardinus-cli/server raco setup: making: /forge/pardinus-cli/test-sat4j raco setup: making: /forge/pardinus-cli/test-sat4j/kodkod raco setup: making: /forge/pardinus-cli/test-sat4j/kodkod/cli raco setup: making: /forge/racket-rfc6455 raco setup: in /forge/racket-rfc6455 raco setup: making: /forge/racket-rfc6455/net raco setup: making: /forge/racket-rfc6455/net/rfc6455 raco setup: making: /forge/racket-rfc6455/net/rfc6455/examples raco setup: in /forge/racket-rfc6455/net/rfc6455/examples raco setup: making: /forge/racket-rfc6455/net/rfc6455/hybi00 raco setup: making: /forge/racket-rfc6455/net/rfc6455/private raco setup: making: /forge/racket-rfc6455/net/rfc6455/rfc6455 raco setup: making: /forge/server raco setup: making: /forge/server/static raco setup: making: /forge/solver-specific raco setup: making: /forge/sterling raco setup: making: /forge/sterling/build raco setup: making: /forge/sterling/build/assets raco setup: making: /forge/temporal raco setup: making: /forge/temporal/lang raco setup: in /forge/temporal/lang raco setup: making: /forge/testme raco setup: in /forge/testme raco setup: in /forge/testme/library raco setup: making: /forge/testme/core raco setup: in /forge/testme/core raco setup: in /forge/testme/core/lang raco setup: making: /forge/testme/core/lang raco setup: making: /forge/testme/lang raco setup: in /forge/testme/lang raco setup: making: /forge/testme/library raco setup: in /forge/testme/library raco setup: making: /forge/utils raco setup: in /forge/utils raco setup: making: /gmp-lib (gmp) raco setup: in /gmp-lib raco setup: making: /gmp-lib/private raco setup: making: /http-easy raco setup: in /http-easy raco setup: making: /http-easy-lib raco setup: in /http-easy-lib raco setup: making: /http-easy-lib/http-easy raco setup: making: /http-easy-lib/http-easy/private raco setup: making: /mischief/debug raco setup: in /mischief/debug raco setup: in /mischief/mischief raco setup: in /mischief/mischief/stylish raco setup: in /mischief/no-debug raco setup: in /mischief/mischief/lang raco setup: making: /mischief/debug/mischief raco setup: making: /mischief/debug/mischief/lang raco setup: in /mischief/debug/mischief/lang raco setup: making: /mischief/debug/racket raco setup: in /mischief/debug/racket raco setup: making: /mischief/debug/racket/base raco setup: making: /mischief/debug/racket/base/lang raco setup: in /mischief/debug/racket/base/lang raco setup: making: /mischief/debug/racket/lang raco setup: in /mischief/debug/racket/lang raco setup: making: /mischief/mischief raco setup: in /mischief/mischief raco setup: in /mischief/mischief/scribblings raco setup: in /mischief/no-debug raco setup: making: /mischief/mischief/lang raco setup: in /mischief/mischief/lang raco setup: making: /mischief/mischief/private raco setup: in /mischief/mischief/private raco setup: making: /mischief/mischief/props raco setup: making: /mischief/mischief/props/lang raco setup: in /mischief/mischief/props/lang raco setup: making: /mischief/mischief/scribblings raco setup: making: /mischief/mischief/stylish raco setup: making: /mischief/mischief/tests raco setup: in /mischief/mischief/tests raco setup: making: /mischief/no-debug raco setup: in /mischief/no-debug raco setup: making: /mischief/no-debug/mischief raco setup: making: /mischief/no-debug/mischief/lang raco setup: in /mischief/no-debug/mischief/lang raco setup: making: /mischief/no-debug/racket raco setup: in /mischief/no-debug/racket raco setup: making: /mischief/no-debug/racket/base raco setup: making: /mischief/no-debug/racket/base/lang raco setup: in /mischief/no-debug/racket/base/lang raco setup: making: /mischief/no-debug/racket/lang raco setup: in /mischief/no-debug/racket/lang raco setup: making: /monocle-lib raco setup: in /monocle-lib raco setup: making: /monocle-lib/monocle raco setup: making: /predicates/predicates (predicates) raco setup: in /predicates/predicates 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: /request/request (request) raco setup: in /request/request raco setup: in /request/request/doc-utils raco setup: in /request/request/private raco setup: making: /request/request/doc-utils raco setup: making: /request/request/private raco setup: making: /resource-pool-lib raco setup: in /resource-pool-lib raco setup: making: /resource-pool-lib/private raco setup: making: /scramble-lib (scramble) raco setup: in /scramble-lib raco setup: making: /scramble-lib/net raco setup: in /scramble-lib/net raco setup: making: /scramble-lib/private raco setup: in /scramble-lib/private raco setup: making: /sha/sha raco setup: in /sha/sha raco setup: making: /sugar/sugar raco setup: in /sugar/sugar raco setup: in /sugar/sugar/coerce raco setup: in /sugar/sugar/unstable raco setup: in /sugar/sugar/scribblings raco setup: making: /sugar/sugar/coerce raco setup: making: /sugar/sugar/private raco setup: making: /sugar/sugar/scribblings raco setup: making: /sugar/sugar/unstable raco setup: in /sugar/sugar/unstable raco setup: making: /syntax-classes-doc/scribblings raco setup: in /syntax-classes-doc/scribblings raco setup: in /syntax-classes-lib/syntax/parse/class 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: --- creating launchers --- [22:45:48] raco setup: --- installing man pages --- [22:45:48] raco setup: --- building documentation --- [22:45:48] raco setup: syncing: /basedir/doc/basedir raco setup: syncing: /beautiful-racket/br/doc/br raco setup: syncing: /br-parser-tools-doc/br-parser-tools/doc/br-parser-tools raco setup: syncing: /brag/brag/doc/brag raco setup: syncing: /debug/debug/doc/debug raco setup: syncing: /fancy-app/doc/fancy-app raco setup: syncing: /http-easy/doc/http-easy raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /predicates/predicates/doc/predicates raco setup: syncing: /pretty-format/pretty-format/doc/pretty-format raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: syncing: /request/request/doc/request raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: syncing: /sha/sha/doc/sha raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /sugar/sugar/doc/sugar raco setup: syncing: /syntax-classes-doc/scribblings/doc/syntax-classes raco setup: WARNING: duplicate tag: (index-entry (mod-path "debug")) raco setup: in: /home/root/user/.local/share/racket/8.17.0.4/pkgs/debug/debug/scribblings/debug.scrbl raco setup: in: /home/root/user/.local/share/racket/8.17.0.4/pkgs/mischief/mischief/scribblings/mischief.scrbl raco setup: WARNING: duplicate tag: (mod-path "debug") raco setup: in: /home/root/user/.local/share/racket/8.17.0.4/pkgs/debug/debug/scribblings/debug.scrbl raco setup: in: /home/root/user/.local/share/racket/8.17.0.4/pkgs/mischief/mischief/scribblings/mischief.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:46:14] raco setup: --- post-installing collections --- [22:46:14] raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/breaks.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/bsl/lang/reader.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/choose-lang-specific.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/core/lang/reader.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/core/main.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/decode-wheat-lang/encode-wheat.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/decode-wheat-lang/lang/reader.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/decode-wheat-lang/util.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/demo/life.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/domains/crypto/expander.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/domains/crypto/lang/reader.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/domains/crypto/main.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/evaluator.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/froglet/lang/bsl-lang-specific-checks.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/froglet/lang/reader.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/alloy-syntax/colorer.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/alloy-syntax/indenter.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/alloy-syntax/lexer.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/alloy-syntax/main.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/alloy-syntax/parser.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/alloy-syntax/syntax-class.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/alloy-syntax/tokenizer.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/ast.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/bounds.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/deparse.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/expander.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/lang-specific-checks.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/lang/reader.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/last-checker.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/logging/2022/main.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/logging/2023/main.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/logging/check-ex-spec/main.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/logging/logging.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/logging/sigs.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/main.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/client.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/conn-api.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/dispatcher.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/examples/cat.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/examples/client.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/examples/echo-server.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/examples/test-server.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/examples/test-service-mapper.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/examples/time-client-with-sync.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/examples/time-client-with-threads.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/examples/time-server.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/http.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/hybi00/client.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/hybi00/conn.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/hybi00/dispatcher.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/hybi00/handshake.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/private/connection-manager.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/client.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/conn.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/dispatcher.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/frame.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/handshake.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/server.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/service-mapper.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/timeout.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455/url.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/racket-rfc6455/net/rfc6455.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/send-to-solver.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/server/eval-model.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/server/forgeserver.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/server/modelToXML.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/server/serve-sterling-static.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/shared.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/sigs-functional.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/sigs-structs.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/sigs.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/solver-specific/cvc5-server.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/solver-specific/cvc5-tor.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/solver-specific/pardinus.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/solver-specific/server-common.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/solver-specific/smtlib-shared.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/solver-specific/to-smtlib-tor.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/solver-specific/translate-from-kodkod-cli.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/solver-specific/translate-to-kodkod-cli.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/temporal/lang/reader.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/temporal/lang/temporal-lang-specific-checks.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/forge/tests/evaluator.rkt") evaluator.rkt: racket test: #<