The time is now Tuesday, August 15th, 2023 10:31:49am
(/usr/bin/env 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- setup -nxiID --check-pkg-deps --pkgs  overscan)
raco setup: version: 8.10
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 8.10
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.10/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.10/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/8.10/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 ---                    [14:31:51]
raco setup: --- installing foreign libraries ---                   [14:31:51]
raco setup: --- installing shared files ---                        [14:31:51]
raco setup: --- checking package dependencies ---                  [14:31:51]
raco setup: found undeclared dependency:
raco setup:   mode: build (of documentation)
raco setup:   for package: "overscan"
raco setup:   on package: "draw-doc"
raco setup:   from document: "overscan"
raco setup:   to document: "draw"
raco setup:   for tag: "(part (\"(lib scribblings/draw/draw.scrbl)\" \"top\"))"
raco setup: --- summary of package problems ---                    [14:31:52]
raco setup: undeclared dependency detected
raco setup:   for package: "overscan"
raco setup:   on package for build:
raco setup:    "draw-doc"
The time is now Tuesday, August 15th, 2023 10:31:52am