The time is now Thursday, June 20th, 2024 9:02:02pm
(/usr/bin/env PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto esterel-redex)
Resolved "esterel-redex" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "robby@racket-lang.org") (checksum . "9a6d06087e2f673b3cb951beb46afe5ffc2b24b3") (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/snapshot/pkgs/esterel-redex>
pkg: updating db with "esterel-redex" to '#s(pkg-info (catalog "esterel-redex") "9a6d06087e2f673b3cb951beb46afe5ffc2b24b3" #f)
raco setup: version: 8.13.0.7
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: snapshot
raco setup: variants: cs
raco setup: main collects: /home/root/racket/collects/
raco setup: collects paths: 
raco setup:   /home/root/user/.local/share/racket/snapshot/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/snapshot/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/snapshot/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 ---                    [2:02:06]
raco setup: --- pre-installing collections ---                     [2:02:06]
raco setup: --- installing foreign libraries ---                   [2:02:06]
raco setup: --- installing shared files ---                        [2:02:06]
raco setup: --- compiling collections ---                          [2:02:06]
raco setup: making: <pkgs>/esterel-redex/esterel
raco setup: making: <pkgs>/esterel-redex/esterel/agda
raco setup: making: <pkgs>/esterel-redex/esterel/redex
raco setup:  in <pkgs>/esterel-redex/esterel/redex
raco setup: --- creating launchers ---                             [2:02:29]
raco setup: --- installing man pages ---                           [2:02:29]
raco setup: --- building documentation ---                         [2:02:29]
raco setup: --- installing collections ---                         [2:02:29]
raco setup: --- post-installing collections ---                    [2:02:29]
The time is now Thursday, June 20th, 2024 9:02:29pm