The time is now Wednesday, July 2nd, 2025 12:13:17pm (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: PLT_PKG_BUILD_SERVICE=1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto trace-contract) Resolved "trace-contract" via file:///home/root//catalogs/archive/catalog 00: Resolved "logic-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "automata-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "contract-etc-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "graph-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "redex-etc" via file:///home/root//catalogs/built/catalog 00: Resolved "stream-etc" via file:///home/root//catalogs/built/catalog 01: Resolved "trace-contract-lib" via file:///home/root//catalogs/built/catalog Resolved "chk-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "mischief" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-spec-v3" via file:///home/root//catalogs/built/catalog Resolved "version-case" via file:///home/root//catalogs/built/catalog Resolved "gen-queue-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "latex-utils" via file:///home/root//catalogs/built/catalog 01: Resolved "unstable-redex" via file:///home/root//catalogs/built/catalog Resolved "private-in" via file:///home/root//catalogs/built/catalog Resolved "seq-no-order" via file:///home/root//catalogs/built/catalog Resolved "threading-doc" via file:///home/root//catalogs/built/catalog Resolved "threading-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "meta" via file:///home/root//catalogs/built/catalog Resolved "ee-lib" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of trace-contract: logic-lib automata-lib contract-etc-lib graph-lib redex-etc stream-etc trace-contract-lib chk-lib dependencies of logic-lib: mischief syntax-classes-lib syntax-spec-v3 dependencies of syntax-spec-v3: version-case dependencies of graph-lib: gen-queue-lib dependencies of redex-etc: latex-utils unstable-redex private-in dependencies of latex-utils: seq-no-order dependencies of stream-etc: threading-doc dependencies of threading-doc: threading-lib dependencies of trace-contract-lib: meta ee-lib raco setup: version: 8.17.0.6 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.6 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.6/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.6/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.17.0.6/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [17:13:29] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.6/share/info-cache.rktd raco setup: --- pre-installing collections --- [17:13:29] raco setup: --- installing foreign libraries --- [17:13:29] raco setup: --- installing shared files --- [17:13:29] raco setup: --- compiling collections --- [17:13:29] 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: /automata-lib raco setup: in /automata-lib raco setup: making: /chk-lib/chk raco setup: in /chk-lib/chk raco setup: making: /contract-etc-lib raco setup: in /contract-etc-lib raco setup: making: /ee-lib (ee-lib) raco setup: in /ee-lib raco setup: in /ee-lib/private raco setup: in /ee-lib/scribblings raco setup: making: /ee-lib/private raco setup: in /ee-lib/private raco setup: making: /ee-lib/scribblings raco setup: making: /ee-lib/test raco setup: in /ee-lib/test raco setup: making: /ee-lib/test/suspend raco setup: in /ee-lib/test/suspend raco setup: making: /gen-queue-lib/data raco setup: in /gen-queue-lib/data raco setup: in /gen-queue-lib/data/gen-queue raco setup: making: /gen-queue-lib/data/gen-queue raco setup: in /gen-queue-lib/data/gen-queue raco setup: making: /graph-lib/graph raco setup: in /graph-lib/graph raco setup: making: /latex-utils raco setup: in /latex-utils raco setup: in /latex-utils/scribble raco setup: in /latex-utils/scribble/private raco setup: in /latex-utils/scribblings raco setup: in /seq-no-order/seq-no-order raco setup: making: /latex-utils/scribble raco setup: in /latex-utils/scribble raco setup: making: /latex-utils/scribble/private raco setup: making: /latex-utils/scribble/tex raco setup: making: /latex-utils/scribblings raco setup: making: /logic-lib (logic) raco setup: in /logic-lib raco setup: in /syntax-classes-lib/syntax/parse/class raco setup: in /syntax-spec-v3 raco setup: in /syntax-spec-v3/private/ee-lib raco setup: in /syntax-spec-v3/private/runtime raco setup: in /syntax-spec-v3/private/syntax raco setup: in /version-case raco setup: in /version-case/private raco setup: in /syntax-spec-v3/private/syntax/compile raco setup: in /logic-lib/private/pltl raco setup: in /logic-lib/private/qea raco setup: in /logic-lib/private/sl raco setup: making: /logic-lib/private raco setup: making: /logic-lib/private/pltl raco setup: making: /logic-lib/private/qea raco setup: in /logic-lib/private/qea raco setup: making: /logic-lib/private/sl raco setup: making: /meta raco setup: in /meta raco setup: in /meta/scribblings raco setup: making: /meta/scribblings 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: /private-in raco setup: in /private-in raco setup: in /private-in/test raco setup: in /private-in/scribblings raco setup: making: /private-in/scribblings raco setup: making: /redex-etc raco setup: in /redex-etc raco setup: in /redex-etc/private raco setup: in /redex-etc/test raco setup: in /redex-etc/scribblings raco setup: in /unstable-redex/gui raco setup: making: /redex-etc/language raco setup: in /redex-etc/language raco setup: in /redex-etc/language/private raco setup: making: /redex-etc/language/lang raco setup: in /redex-etc/language/lang raco setup: making: /redex-etc/language/private raco setup: making: /redex-etc/private raco setup: making: /redex-etc/scribblings raco setup: making: /seq-no-order/seq-no-order raco setup: in /seq-no-order/seq-no-order raco setup: in /seq-no-order/seq-no-order/docs raco setup: making: /seq-no-order/seq-no-order/docs raco setup: making: /stream-etc raco setup: in /stream-etc raco setup: in /stream-etc/scribblings raco setup: making: /stream-etc/scribblings 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: making: /syntax-spec-v3 (syntax-spec-v3) raco setup: in /syntax-spec-v3 raco setup: in /syntax-spec-v3/scribblings raco setup: in /syntax-spec-v3/scribblings/reference raco setup: in /syntax-spec-v3/scribblings/tutorial raco setup: making: /syntax-spec-v3/private raco setup: making: /syntax-spec-v3/private/ee-lib raco setup: in /syntax-spec-v3/private/ee-lib raco setup: making: /syntax-spec-v3/private/ee-lib/test raco setup: in /syntax-spec-v3/private/ee-lib/test raco setup: making: /syntax-spec-v3/private/runtime raco setup: making: /syntax-spec-v3/private/syntax raco setup: making: /syntax-spec-v3/private/syntax/compile raco setup: making: /syntax-spec-v3/private/test raco setup: in /syntax-spec-v3/private/test raco setup: making: /syntax-spec-v3/scribblings raco setup: making: /syntax-spec-v3/scribblings/reference raco setup: making: /syntax-spec-v3/scribblings/tutorial raco setup: making: /syntax-spec-v3/tests raco setup: in /syntax-spec-v3/tests raco setup: making: /syntax-spec-v3/tests/basic-langs raco setup: in /syntax-spec-v3/tests/basic-langs raco setup: making: /syntax-spec-v3/tests/dsls raco setup: in /syntax-spec-v3/tests/dsls raco setup: making: /syntax-spec-v3/tests/dsls/cmdline raco setup: in /syntax-spec-v3/tests/dsls/cmdline raco setup: making: /syntax-spec-v3/tests/dsls/js raco setup: in /syntax-spec-v3/tests/dsls/js raco setup: making: /syntax-spec-v3/tests/dsls/matthews-findler raco setup: in /syntax-spec-v3/tests/dsls/matthews-findler raco setup: making: /syntax-spec-v3/tests/dsls/miniclass raco setup: in /syntax-spec-v3/tests/dsls/miniclass raco setup: making: /syntax-spec-v3/tests/dsls/minikanren-rs2e raco setup: in /syntax-spec-v3/tests/dsls/minikanren-rs2e raco setup: making: /syntax-spec-v3/tests/dsls/peg raco setup: in /syntax-spec-v3/tests/dsls/peg raco setup: in /syntax-spec-v3/tests/dsls/peg/private raco setup: making: /syntax-spec-v3/tests/dsls/peg/private raco setup: making: /syntax-spec-v3/tests/dsls/peg/private/test raco setup: in /syntax-spec-v3/tests/dsls/peg/private/test raco setup: making: /syntax-spec-v3/tests/dsls/peg/test raco setup: in /syntax-spec-v3/tests/dsls/peg/test raco setup: making: /syntax-spec-v3/tests/dsls/state-machine-oo raco setup: in /syntax-spec-v3/tests/dsls/state-machine-oo raco setup: making: /syntax-spec-v3/tests/dsls/statecharts raco setup: in /syntax-spec-v3/tests/dsls/statecharts raco setup: making: /syntax-spec-v3/tests/dsls/stlc-lang raco setup: in /syntax-spec-v3/tests/dsls/stlc-lang raco setup: making: /syntax-spec-v3/tests/dsls/tiny-hdl raco setup: in /syntax-spec-v3/tests/dsls/tiny-hdl raco setup: making: /syntax-spec-v3/tests/dsls/typed-peg raco setup: in /syntax-spec-v3/tests/dsls/typed-peg raco setup: in /syntax-spec-v3/tests/dsls/typed-peg/private raco setup: making: /syntax-spec-v3/tests/dsls/typed-peg/private raco setup: making: /threading-doc/scribblings raco setup: in /threading-doc/scribblings raco setup: in /threading-lib/threading raco setup: in /threading-lib/threading/private raco setup: making: /threading-lib/threading raco setup: making: /threading-lib/threading/private raco setup: making: /trace-contract (trace-contract) raco setup: in /trace-contract raco setup: in /trace-contract/scribblings raco setup: in /trace-contract-lib raco setup: in /trace-contract-lib/private raco setup: making: /trace-contract-lib (trace-contract) raco setup: in /trace-contract-lib raco setup: making: /trace-contract-lib/private raco setup: making: /trace-contract/example raco setup: in /trace-contract/example raco setup: in /trace-contract/example/util raco setup: making: /trace-contract/example/support raco setup: making: /trace-contract/example/util raco setup: making: /trace-contract/model raco setup: in /trace-contract/model raco setup: making: /trace-contract/scribblings raco setup: making: /trace-contract/test raco setup: in /trace-contract/test raco setup: making: /unstable-redex raco setup: in /unstable-redex raco setup: in /unstable-redex/gui raco setup: making: /unstable-redex/gui raco setup: making: /version-case (version-case) raco setup: in /version-case raco setup: making: /version-case/private raco setup: --- creating launchers --- [17:15:02] raco setup: --- installing man pages --- [17:15:03] raco setup: --- building documentation --- [17:15:03] raco setup: syncing: /ee-lib/doc/ee-lib raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /meta/doc/meta raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /private-in/doc/private-in raco setup: syncing: /redex-etc/doc/redex-etc raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: syncing: /seq-no-order/seq-no-order/doc/seq-no-order raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /stream-etc/doc/stream-etc raco setup: syncing: /syntax-spec-v3/doc/syntax-spec-v3 raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: running: /trace-contract/scribblings/trace-contract.scrbl raco setup: syncing: /unstable-redex/doc/unstable-redex raco setup: syncing: /latex-utils/doc/utils raco setup: syncing: /version-case/doc/version-case 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: rendering: /trace-contract/scribblings/trace-contract.scrbl raco setup: --- installing collections --- [17:15:19] raco setup: --- post-installing collections --- [17:15:19] The time is now Wednesday, July 2nd, 2025 12:15:19pm