The time is now Wednesday, February 7th, 2024 10:43:41pm (/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- raco pkg install --jobs 4 -u --auto z3) Resolved "z3" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "474d4290703adda8b8c121fafaa3bde4bc8ebb23") (dependencies . (("base") ("html-lib") ("typed-racket-lib") ("typed-racket-more"))) (description . "Z3 bindings for Racket") (modules . ((lib "z3/main.rkt") (lib "z3/smt/primitives.rkt") (lib "z3/smt.rkt") (lib "z3/smt/main.rkt") (lib "z3/tests/guide.rkt") (lib "z3/smt/commands.rkt") (lib "z3/smt/private.rkt") (lib "z3/ffi.rkt") (lib "z3/ffi/define-ffi.rkt") (lib "z3/ffi/ffi-typed.rkt") (lib "z3/ffi/main.rkt") (lib "z3/ffi/ffi.rkt"))) (name . "z3") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/z3.zip") (tags . ("smt" "solver" "z3"))) pkg: creating single-collection link to # pkg: updating db with "z3" to '#s((sc-pkg-info pkg-info 3) (catalog "z3") "474d4290703adda8b8c121fafaa3bde4bc8ebb23" #f "z3") raco setup: version: 8.12 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.12 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.12/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.12/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.12/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:43:43] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [3:43:43] raco setup: --- installing foreign libraries --- [3:43:43] raco setup: --- installing shared files --- [3:43:43] raco setup: --- compiling collections --- [3:43:43] raco setup: --- parallel build using 4 jobs --- [3:43:43] raco setup: 3 making: /z3 raco setup: 3 making: /z3/ffi raco setup: 3 making: /z3/smt raco setup: 3 making: /z3/tests raco setup: --- creating launchers --- [3:44:07] raco setup: --- installing man pages --- [3:44:07] raco setup: --- building documentation --- [3:44:07] raco setup: --- installing collections --- [3:44:08] raco setup: --- post-installing collections --- [3:44:08] The time is now Wednesday, February 7th, 2024 10:44:08pm