The time is now Tuesday, January 25th, 2022 6:47:43am (/usr/bin/env DISPLAY=:1 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: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install -u --auto k-core && bin/racket -MCR "/home/root/"/zo: -l- raco test --drdr --package k-core) Resolved "k-core" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "8a214b8d26be63586c5f3c894c00c48c92287a3e") (dependencies . (("base") ("rackunit"))) (description . "core of k theorem prover") (modules . ((lib "k/base.rkt") (lib "k/core.rkt") (lib "k/def.rkt") (lib "k/type.rkt") (lib "k/data.rkt") (lib "k/check.rkt") (lib "k/bind.rkt") (lib "k/main.rkt") (lib "k/builtin.rkt"))) (name . "k-core") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/k-core.zip") (tags . ("proofs"))) pkg: creating link to # pkg: updating db with "k-core" to '#s(pkg-info (catalog "k-core") "8a214b8d26be63586c5f3c894c00c48c92287a3e" #f) raco setup: version: 8.3 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.3 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.3/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.3/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.3/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 --- [6:47:45] raco setup: --- pre-installing collections --- [6:47:45] raco setup: --- installing foreign libraries --- [6:47:45] raco setup: --- installing shared files --- [6:47:45] raco setup: --- compiling collections --- [6:47:45] raco setup: making: /k-core/k raco setup: in /k-core/k raco setup: --- creating launchers --- [6:47:46] raco setup: --- installing man pages --- [6:47:46] raco setup: --- building documentation --- [6:47:46] raco setup: --- installing collections --- [6:47:47] raco setup: --- post-installing collections --- [6:47:47] raco test: "/home/root//user/.local/share/racket/8.3/pkgs/k-core/info.rkt" raco test: "/home/root//user/.local/share/racket/8.3/pkgs/k-core/k/base.rkt" raco test: "/home/root//user/.local/share/racket/8.3/pkgs/k-core/k/bind.rkt" raco test: (submod "/home/root//user/.local/share/racket/8.3/pkgs/k-core/k/builtin.rkt" test) raco test: "/home/root//user/.local/share/racket/8.3/pkgs/k-core/k/check.rkt" raco test: (submod "/home/root//user/.local/share/racket/8.3/pkgs/k-core/k/core.rkt" test) raco test: "/home/root//user/.local/share/racket/8.3/pkgs/k-core/k/data.rkt" raco test: "/home/root//user/.local/share/racket/8.3/pkgs/k-core/k/def.rkt" raco test: "/home/root//user/.local/share/racket/8.3/pkgs/k-core/k/main.rkt" raco test: "/home/root//user/.local/share/racket/8.3/pkgs/k-core/k/type.rkt" 1 /home/root//user/.local/share/racket/8.3/pkgs/k-core/k/core.rkt 0 /home/root//user/.local/share/racket/8.3/pkgs/k-core/info.rkt 0 /home/root//user/.local/share/racket/8.3/pkgs/k-core/k/base.rkt 0 /home/root//user/.local/share/racket/8.3/pkgs/k-core/k/bind.rkt 0 /home/root//user/.local/share/racket/8.3/pkgs/k-core/k/builtin.rkt 0 /home/root//user/.local/share/racket/8.3/pkgs/k-core/k/check.rkt 0 /home/root//user/.local/share/racket/8.3/pkgs/k-core/k/data.rkt 0 /home/root//user/.local/share/racket/8.3/pkgs/k-core/k/def.rkt 0 /home/root//user/.local/share/racket/8.3/pkgs/k-core/k/main.rkt 0 /home/root//user/.local/share/racket/8.3/pkgs/k-core/k/type.rkt 1 test passed The time is now Tuesday, January 25th, 2022 6:47:52am