The time is now Sat, 7 Nov 2026 18:35:44 -0600
(/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: /usr/bin/xvfb-run --auto-servernum /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto verse-calculus-redex && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --drdr --package verse-calculus-redex)
Resolved "verse-calculus-redex" via file:///home/root//catalogs/built/catalog
raco setup: version: 9.3.900
raco setup: platform: aarch64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 9.3.900
raco setup: variants: cs
raco setup: main collects: /home/root/racket/collects/
raco setup: collects paths: 
raco setup:   /home/root/user/.local/share/racket/9.3.900/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/9.3.900/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/9.3.900/links.rktd
raco setup: compiled-file roots: 
raco setup:   /home/root//zo
raco setup:   same
raco setup: --- updating info-domain tables ---                    [0:35:51]
raco setup: updating: /home/root/user/.local/share/racket/9.3.900/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [0:35:51]
raco setup: --- installing foreign libraries ---                   [0:35:51]
raco setup: --- installing shared files ---                        [0:35:51]
raco setup: --- compiling collections ---                          [0:35:51]
raco setup: making: <pkgs>/verse-calculus-redex
raco setup:  in <pkgs>/verse-calculus-redex
raco setup:  in <pkgs>/verse-calculus-redex/traces
raco setup:  in <pkgs>/verse-calculus-redex/scribblings
raco setup: making: <pkgs>/verse-calculus-redex/scribblings
raco setup: making: <pkgs>/verse-calculus-redex/test
raco setup:  in <pkgs>/verse-calculus-redex/test
raco setup: making: <pkgs>/verse-calculus-redex/traces
raco setup: --- creating launchers ---                             [0:35:58]
raco setup: --- installing man pages ---                           [0:35:58]
raco setup: --- building documentation ---                         [0:35:58]
raco setup: running: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: syncing: <pkgs>/verse-calculus-redex/doc/verse-calculus-redex
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---                         [0:36:11]
raco setup: --- post-installing collections ---                    [0:36:11]
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/eval.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/grammar.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/info.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/main.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/metafns.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/pretty.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/rules.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/calculus.scrbl")
calculus.scrbl: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/first.scrbl")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/if-then-else.scrbl")
first.scrbl: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
if-then-else.scrbl: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/opening.scrbl")
opening.scrbl: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/residuation.scrbl")
residuation.scrbl: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/traces.scrbl")
traces.scrbl: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/tuple-indexing.scrbl")
tuple-indexing.scrbl: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/verse-calculus-redex.scrbl")
verse-calculus-redex.scrbl: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/stepper.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/confluence-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/eval-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/examples-test.rkt")
examples-test.rkt: racket test: timeout after 90 seconds
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/grammar-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/metafns-build-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/metafns-fvs-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/metafns-side-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/paths-test.rkt") test)
paths-test.rkt: racket test: timeout after 90 seconds
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/pretty-test.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/programs-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-app-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-choice-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-elim-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-norm-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-swap-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-unify-test.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/stepper-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/trace-lib-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/trace-pict-test.rkt") test)
trace-pict-test.rkt: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/typeset-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/var-order-test.rkt") test)
typeset-test.rkt: racket test: #<<non-empty stderr
Fontconfig error: Cannot load default config file: No such file: (null)

non-empty stderr
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/trace-pict.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/traces/paths.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/traces/programs.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/traces/trace-lib.rkt")
raco test: (file "/home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/typeset.rkt")
  17 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/metafns-side-test.rkt
  14 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/grammar-test.rkt
  12 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/programs-test.rkt
  11 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-unify-test.rkt
  10 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-choice-test.rkt
   8 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/pretty-test.rkt
   8 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/var-order-test.rkt
   7 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/metafns-fvs-test.rkt
   7 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-app-test.rkt
   6 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/metafns-build-test.rkt
   6 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/trace-lib-test.rkt
   4 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-elim-test.rkt
   4 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-norm-test.rkt
   4 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/rules-swap-test.rkt
   3 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/eval-test.rkt
   2 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/main.rkt
   2 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/stepper-test.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/eval.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/grammar.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/info.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/metafns.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/pretty.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/rules.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/stepper.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/confluence-test.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/trace-pict.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/traces/paths.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/traces/programs.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/traces/trace-lib.rkt
   0 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/typeset.rkt
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/calculus.scrbl
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/first.scrbl
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/if-then-else.scrbl
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/opening.scrbl
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/residuation.scrbl
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/traces.scrbl
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/tuple-indexing.scrbl
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/scribblings/verse-calculus-redex.scrbl
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/examples-test.rkt
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/paths-test.rkt
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/trace-pict-test.rkt
1  1 /home/root//user/.local/share/racket/9.3.900/pkgs/verse-calculus-redex/test/typeset-test.r12/137 test failures
kt
The time is now Sat, 7 Nov 2026 18:42:24 -0600