For information about the package build service, see https://pkg-build.racket-lang.org/about.html
The time is now Wed, 10 Jun 2026 11:00:41 +0000
(/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: PLTSTDOUT=debug@pkg info@GC:major /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto verse-calculus-redex)
Resolved "verse-calculus-redex" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "dannypsnl@gmail.com inbox@dannypsnl.me") (checksum . "720243ea806daf5c36dabf1cc24de25b3c08e871") (dependencies . (("base") ("redex-lib") ("redex-pict-lib") ("pict-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "") (modules . ((lib "verse-calculus-redex/traces/programs.rkt") (lib "verse-calculus-redex/test/rules-unify-test.rkt") (lib "verse-calculus-redex/test/pretty-test.rkt") (lib "verse-calculus-redex/scribblings/if-then-else.scrbl") (lib "verse-calculus-redex/test/trace-pict-test.rkt") (lib "verse-calculus-redex/scribblings/opening.scrbl") (lib "verse-calculus-redex/test/rules-norm-test.rkt") (lib "verse-calculus-redex/metafns.rkt") (lib "verse-calculus-redex/scribblings/verse-calculus-redex.scrbl") (lib "verse-calculus-redex/test/typeset-test.rkt") (lib "verse-calculus-redex/grammar.rkt") (lib "verse-calculus-redex/test/metafns-side-test.rkt") (lib "verse-calculus-redex/test/grammar-test.rkt") (lib "verse-calculus-redex/test/paths-test.rkt") (lib "verse-calculus-redex/scribblings/residuation.scrbl") (lib "verse-calculus-redex/traces/trace-lib.rkt") (lib "verse-calculus-redex/test/rules-app-test.rkt") (lib "verse-calculus-redex/test/rules-swap-test.rkt") (lib "verse-calculus-redex/scribblings/traces.scrbl") (lib "verse-calculus-redex/trace-pict.rkt") (lib "verse-calculus-redex/stepper.rkt") (lib "verse-calculus-redex/scribblings/calculus.scrbl") (lib "verse-calculus-redex/typeset.rkt") (lib "verse-calculus-redex/traces/paths.rkt") (lib "verse-calculus-redex/test/metafns-build-test.rkt") (lib "verse-calculus-redex/test/rules-elim-test.rkt") (lib "verse-calculus-redex/rules.rkt") (lib "verse-calculus-redex/test/trace-lib-test.rkt") (lib "verse-calculus-redex/test/eval-test.rkt") (lib "verse-calculus-redex/test/programs-test.rkt") (lib "verse-calculus-redex/test/examples-test.rkt") (lib "verse-calculus-redex/scribblings/first.scrbl") (lib "verse-calculus-redex/eval.rkt") (lib "verse-calculus-redex/test/stepper-test.rkt") (lib "verse-calculus-redex/test/confluence-test.rkt") (lib "verse-calculus-redex/main.rkt") (lib "verse-calculus-redex/pretty.rkt") (lib "verse-calculus-redex/test/var-order-test.rkt") (lib "verse-calculus-redex/test/rules-choice-test.rkt") (lib "verse-calculus-redex/scribblings/tuple-indexing.scrbl") (lib "verse-calculus-redex/test/metafns-fvs-test.rkt"))) (name . "verse-calculus-redex") (ring . 2) (source . "file:///home/root/catalogs/archive/pkgs/verse-calculus-redex.zip") (tags . ()))
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex>
pkg: updating db with "verse-calculus-redex" to '#s((sc-pkg-info pkg-info 3) (catalog "verse-calculus-redex") "720243ea806daf5c36dabf1cc24de25b3c08e871" #f "verse-calculus-redex")
raco setup: version: 9.2
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 9.2
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.2/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.2/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/9.2/links.rktd
raco setup: compiled-file roots: 
raco setup:   /home/root//zo
raco setup:   same
raco setup: --- updating info-domain tables ---                    [11:00:42]
raco setup: updating: /home/root/user/.local/share/racket/9.2/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [11:00:42]
raco setup: --- installing foreign libraries ---                   [11:00:42]
raco setup: --- installing shared files ---                        [11:00:42]
raco setup: --- compiling collections ---                          [11:00:42]
raco setup: --- parallel build using 2 jobs ---                    [11:00:42]
raco setup: 1 making: <pkgs>/verse-calculus-redex
raco setup: 1 making: <pkgs>/verse-calculus-redex/test
raco setup: --- creating launchers ---                             [11:00:49]
raco setup: --- installing man pages ---                           [11:00:49]
raco setup: --- building documentation ---                         [11:00:49]
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: 0 running: <pkgs>/verse-calculus-redex/scribblings/verse-calculus-redex.scrbl
WARNING: collected information for key multiple times: '(index-entry (part "Step_1_—_SUBST")); values: (list '("Step 1 — SUBST") (list (element #f '("Step 1 — SUBST"))) (index-desc '#hash((kind . "part") (part? . #t)))) (list '("Step 1 — SUBST") (list (element #f '("Step 1 — SUBST"))) (index-desc '#hash((kind . "part") (part? . #t))))
WARNING: collected information for key multiple times: '(part "Step_1_—_SUBST"); values: (vector '("Step 1 — SUBST") '(part "Step_1_—_SUBST") '(1 3 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__1__two_views_of_one_tuple.html") #f) (vector '("Step 1 — SUBST") '(part "Step_1_—_SUBST") '(1 4 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__2_2__residuation.html") #f)
WARNING: collected information for key multiple times: '(part "Step_6_—_EQN-ELIM"); values: (vector '("Step 6 — EQN-ELIM") '(part "Step_6_—_EQN-ELIM") '(6 3 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__1__two_views_of_one_tuple.html") #f) (vector '("Step 6 — EQN-ELIM") '(part "Step_6_—_EQN-ELIM") '(6 5 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__2_1__first_2_5_.html") #f)
WARNING: collected information for key multiple times: '(index-entry (part "Step_6_—_EQN-ELIM")); values: (list '("Step 6 — EQN-ELIM") (list (element #f '("Step 6 — EQN-ELIM"))) (index-desc '#hash((kind . "part") (part? . #t)))) (list '("Step 6 — EQN-ELIM") (list (element #f '("Step 6 — EQN-ELIM"))) (index-desc '#hash((kind . "part") (part? . #t))))
WARNING: collected information for key multiple times: '(index-entry (part "Step_4_—_EQN-ELIM")); values: (list '("Step 4 — EQN-ELIM") (list (element #f '("Step 4 — EQN-ELIM"))) (index-desc '#hash((kind . "part") (part? . #t)))) (list '("Step 4 — EQN-ELIM") (list (element #f '("Step 4 — EQN-ELIM"))) (index-desc '#hash((kind . "part") (part? . #t))))
WARNING: collected information for key multiple times: '(part "Step_4_—_EQN-ELIM"); values: (vector '("Step 4 — EQN-ELIM") '(part "Step_4_—_EQN-ELIM") '(4 3 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__1__two_views_of_one_tuple.html") #f) (vector '("Step 4 — EQN-ELIM") '(part "Step_4_—_EQN-ELIM") '(4 7 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__2_6__tuple_indexing_as_choice.html") #f)
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: 0 rendering: <pkgs>/verse-calculus-redex/scribblings/verse-calculus-redex.scrbl
WARNING: collected information for key multiple times: '(index-entry (part "Step_1_—_SUBST")); values: (list '("Step 1 — SUBST") (list (element #f '("Step 1 — SUBST"))) (index-desc '#hash((kind . "part") (part? . #t)))) (list '("Step 1 — SUBST") (list (element #f '("Step 1 — SUBST"))) (index-desc '#hash((kind . "part") (part? . #t))))
WARNING: collected information for key multiple times: '(part "Step_1_—_SUBST"); values: (vector '("Step 1 — SUBST") '(part "Step_1_—_SUBST") '(1 3 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__1__two_views_of_one_tuple.html") #f) (vector '("Step 1 — SUBST") '(part "Step_1_—_SUBST") '(1 4 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__2_2__residuation.html") #f)
WARNING: collected information for key multiple times: '(part "Step_6_—_EQN-ELIM"); values: (vector '("Step 6 — EQN-ELIM") '(part "Step_6_—_EQN-ELIM") '(6 3 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__1__two_views_of_one_tuple.html") #f) (vector '("Step 6 — EQN-ELIM") '(part "Step_6_—_EQN-ELIM") '(6 5 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__2_1__first_2_5_.html") #f)
WARNING: collected information for key multiple times: '(index-entry (part "Step_6_—_EQN-ELIM")); values: (list '("Step 6 — EQN-ELIM") (list (element #f '("Step 6 — EQN-ELIM"))) (index-desc '#hash((kind . "part") (part? . #t)))) (list '("Step 6 — EQN-ELIM") (list (element #f '("Step 6 — EQN-ELIM"))) (index-desc '#hash((kind . "part") (part? . #t))))
WARNING: collected information for key multiple times: '(index-entry (part "Step_4_—_EQN-ELIM")); values: (list '("Step 4 — EQN-ELIM") (list (element #f '("Step 4 — EQN-ELIM"))) (index-desc '#hash((kind . "part") (part? . #t)))) (list '("Step 4 — EQN-ELIM") (list (element #f '("Step 4 — EQN-ELIM"))) (index-desc '#hash((kind . "part") (part? . #t))))
WARNING: collected information for key multiple times: '(part "Step_4_—_EQN-ELIM"); values: (vector '("Step 4 — EQN-ELIM") '(part "Step_4_—_EQN-ELIM") '(4 3 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__1__two_views_of_one_tuple.html") #f) (vector '("Step 4 — EQN-ELIM") '(part "Step_4_—_EQN-ELIM") '(4 7 2) (list (mobile-root #<path:/home/root/user/.local/share/racket/9.2/pkgs/verse-calculus-redex/doc/verse-calculus-redex>) #"Tracing__2_6__tuple_indexing_as_choice.html") #f)
raco setup: --- installing collections ---                         [11:01:00]
raco setup: --- post-installing collections ---                    [11:01:00]
GC: 0:atexit peak 459,592K(+210,483K); alloc 12,575,004K; major 9; minor 616; 5980ms
The time is now Wed, 10 Jun 2026 11:01:00 +0000