The time is now Sunday, November 3rd, 2024 11:33:28pm
(/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: DISPLAY=:1 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 esterel-redex)
Resolved "esterel-redex" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "robby@racket-lang.org") (checksum . "a29e9f20cffdd74c4b64b48f1585c35d7dd273cf") (dependencies . (("base") ("redex-lib") ("redex-gui-lib") ("pict-lib") ("scribble-lib"))) (description . "Redex code related to Esterel in Racket") (modules . ((lib "esterel/redex/helpers.rkt") (lib "esterel/redex/eval.rkt") (lib "esterel/redex/lang.rkt") (lib "esterel/redex/props.rkt") (lib "esterel/redex/red-and.rkt") (lib "esterel/redex/must-can.rkt") (lib "esterel/redex/red-hat.rkt") (lib "esterel/redex/typeset.rkt") (lib "esterel/redex/rules.scrbl") (lib "esterel/redex/must-can-hat.rkt") (lib "esterel/redex/red.rkt"))) (name . "esterel-redex") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/esterel-redex.zip") (tags . ("esterel" "redex")))
pkg: creating link to #<path:/home/root//user/.local/share/racket/8.15/pkgs/esterel-redex>
pkg: updating db with "esterel-redex" to '#s(pkg-info (catalog "esterel-redex") "a29e9f20cffdd74c4b64b48f1585c35d7dd273cf" #f)
raco setup: version: 8.15
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 8.15
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.15/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.15/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/8.15/links.rktd
raco setup: compiled-file roots: 
raco setup:   /home/root//zo
raco setup:   same
raco setup: main docs: /home/root/racket/doc
raco setup: --- updating info-domain tables ---                    [23:33:29]
raco setup: --- pre-installing collections ---                     [23:33:29]
raco setup: --- installing foreign libraries ---                   [23:33:29]
raco setup: --- installing shared files ---                        [23:33:29]
raco setup: --- compiling collections ---                          [23:33:29]
raco setup: --- parallel build using 2 jobs ---                    [23:33:29]
raco setup: 1 making: <pkgs>/esterel-redex/esterel/redex
raco setup: --- creating launchers ---                             [23:33:39]
raco setup: --- installing man pages ---                           [23:33:39]
raco setup: --- building documentation ---                         [23:33:39]
raco setup: --- installing collections ---                         [23:33:39]
raco setup: --- post-installing collections ---                    [23:33:39]
GC: 0:atexit peak 463,295K(+124,640K); alloc 6,906,940K; major 5; minor 314; 4687ms
The time is now Sunday, November 3rd, 2024 11:33:39pm