The time is now Monday, June 16th, 2025 1:21:19am (/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 refined-acl2) Resolved "refined-acl2" via file:///home/root//catalogs/archive/catalog Resolved "mischief" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of refined-acl2: mischief 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 --- [6:21:29] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.4/share/info-cache.rktd raco setup: --- pre-installing collections --- [6:21:29] raco setup: --- installing foreign libraries --- [6:21:29] raco setup: --- installing shared files --- [6:21:29] raco setup: --- compiling collections --- [6:21:29] 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: /refined-acl2 (Dracula) raco setup: in /refined-acl2 raco setup: in /refined-acl2/expansion raco setup: in /refined-acl2/model raco setup: in /refined-acl2/proof sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/data.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/api.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/kernel.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/core.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/base.rkt context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build ... raco setup: making: /refined-acl2/expansion raco setup: in /refined-acl2/expansion sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/expansion/alpha.rkt context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:109:4 /home/root/racket/collects/compiler/compiler.rkt:179:4: worker /home/root/racket/collects/compiler/compiler.rkt:95:2: compile-directory-visitor /home/root/racket/collects/setup/setup-core.rkt:1120:2: compile-cc /home/root/racket/collects/setup/setup-core.rkt:1211:8 /home/root/racket/collects/setup/setup.rkt:80:3 /home/root/racket/collects/pkg/main.rkt:18:0: setup ... raco setup: making: /refined-acl2/model raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/data.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/acl2.rkt context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build ... raco setup: making: /refined-acl2/prelude raco setup: in /refined-acl2/prelude raco setup: in /refined-acl2 raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/data.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/api.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/kernel.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/core.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/prelude/base.rkt context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build ... raco setup: making: /refined-acl2/prelude/base raco setup: in /refined-acl2/prelude/base raco setup: in /refined-acl2 raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/data.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/api.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/kernel.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/prelude/base/datatype.rkt context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build ... raco setup: making: /refined-acl2/prelude/core raco setup: in /refined-acl2/prelude/core raco setup: in /refined-acl2 raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/data.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/api.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/kernel.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/prelude/core/atomic.rkt context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build ... raco setup: making: /refined-acl2/proof raco setup: in /refined-acl2/proof raco setup: in /refined-acl2 raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/data.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model/api.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/model.rkt /home/root/user/.local/share/racket/8.17.0.4/pkgs/refined-acl2/proof/static.rkt context...: /home/root/user/.local/share/racket/8.17.0.4/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build ... raco setup: making: /refined-acl2/tests raco setup: in /refined-acl2/tests raco setup: in /refined-acl2/expansion raco setup: in /refined-acl2/tests/suite raco setup: making: /refined-acl2/tests/suite raco setup: --- creating launchers --- [6:23:08] raco setup: --- installing man pages --- [6:23:08] raco setup: --- building documentation --- [6:23:08] raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /mischief/mischief/doc/mischief raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.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 --- [6:23:40] raco setup: --- post-installing collections --- [6:23:40] raco setup: --- summary of errors --- [6:23:40] raco setup: error: during making for /refined-acl2 (Dracula) raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/expansion raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/expansion/alpha.rkt raco setup: error: during making for /refined-acl2/model raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/prelude raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/prelude/base raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/prelude/core raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/proof raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt racket pkg install: packages installed, although setup reported errors The time is now Monday, June 16th, 2025 1:23:40am