The time is now Thursday, May 15th, 2025 3:22:57am
(/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 SAT)
Resolved "SAT" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "guannanwei@outlook.com") (checksum . "7fe06ce7a589e6ebf8dddec1c05610c52c667a83") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "A simple SAT solver based on DPLL.") (modules . ((lib "SAT/scribblings/SAT.scrbl") (lib "SAT/lib/sat.rkt") (lib "SAT/main.rkt") (lib "SAT/lib/dplb.rkt") (lib "SAT/lib/utils.rkt") (lib "SAT/lib/dpll.rkt") (lib "SAT/test.rkt") (lib "SAT/lib/dpli.rkt") (lib "SAT/lib/parser.rkt") (lib "SAT/lib/dp.rkt"))) (name . "SAT") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/SAT.zip") (tags . ()))
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/8.17/pkgs/SAT>
pkg: updating db with "SAT" to '#s((sc-pkg-info pkg-info 3) (catalog "SAT") "7fe06ce7a589e6ebf8dddec1c05610c52c667a83" #f "SAT")
raco setup: version: 8.17
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 8.17
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.17/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.17/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/8.17/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 ---                    [3:23:00]
raco setup: updating: /home/root/user/.local/share/racket/8.17/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [3:23:00]
raco setup: --- installing foreign libraries ---                   [3:23:00]
raco setup: --- installing shared files ---                        [3:23:00]
raco setup: --- compiling collections ---                          [3:23:00]
raco setup: --- parallel build using 2 jobs ---                    [3:23:00]
raco setup: 1 making: <pkgs>/SAT
raco setup: --- creating launchers ---                             [3:23:02]
raco setup: --- installing man pages ---                           [3:23:02]
raco setup: --- building documentation ---                         [3:23:02]
raco setup: 0 running: <pkgs>/SAT/scribblings/SAT.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: 1 rendering: <pkgs>/SAT/scribblings/SAT.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: --- installing collections ---                         [3:23:09]
raco setup: --- post-installing collections ---                    [3:23:09]
GC: 0:atexit peak 317,008K(+162,031K); alloc 5,384,162K; major 6; minor 351; 3025ms
The time is now Thursday, May 15th, 2025 3:23:09am