The time is now Thursday, June 20th, 2024 10:07:49pm
(/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: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto k)
Resolved "k" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "dannypsnl@gmail.com racket@racket.tw cyb.ai.815@gmail.com") (checksum . "91f922b1e4a7feb888bb2626637aa8d76c61ce69") (dependencies . (("k-core") ("k-lib") ("k-test") ("k-example") ("k-doc"))) (description . "k theorem prover") (modules . ()) (name . "k") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k.zip") (tags . ("proofs")))
00: Resolved "k-core" via file:///home/root//catalogs/built/catalog
00: Resolved "k-lib" via file:///home/root//catalogs/archive/catalog
01: Resolved "k-test" via file:///home/root//catalogs/archive/catalog
01: Resolved "k-example" via file:///home/root//catalogs/archive/catalog
Resolved "k-doc" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "348536038dbcf65e6f8df00c9475fb4ae040405a") (dependencies . (("base") ("syntax-classes-lib") ("rackunit"))) (description . "core of k theorem prover") (modules . ((lib "k/check.rkt") (lib "k/bindings.rkt") (lib "k/base.rkt") (lib "k/data.rkt") (lib "k/builtin.rkt") (lib "k/type.rkt") (lib "k/def.rkt") (lib "k/helper/stx-util.rkt") (lib "k/helper/id-hash.rkt") (lib "k/main.rkt") (lib "k/core.rkt"))) (name . "k-core") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/k-core.zip") (tags . ("proofs")))
pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "1b026a3e2ad8f05501fca157ff588c2947341dc2") (dependencies . (("base") ("k-core") ("rackunit-lib"))) (description . "libraries of k theorem prover") (modules . ((lib "k/data/list.rkt") (lib "k/data/bool.rkt") (lib "k/data/vec.rkt") (lib "k/data/fin.rkt") (lib "k/data/nat.rkt") (lib "k/equality.rkt") (lib "k/sigma.rkt") (lib "k/dec.rkt"))) (name . "k-lib") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k-lib.zip") (tags . ("proofs")))
pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "4192157a5138a16ac0cdbcc5121b477eae786911") (dependencies . (("base") ("rackunit-lib") ("k-core") ("k-lib"))) (description . "Test of k") (modules . ()) (name . "k-test") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k-test.zip") (tags . ("main-tests")))
pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "772ad03732a818735083f64ea8bc0e7ad2813ed6") (dependencies . (("base") ("k-core") ("k-lib"))) (description . "examples of using k theorem prover") (modules . ()) (name . "k-example") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k-example.zip") (tags . ("examples")))
pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "02179d283d4183caa244b5cd348bb8426d85ae1a") (dependencies . (("base") ("scribble-lib") ("racket-doc") ("k-core") ("k-lib"))) (description . "documentation of k theorem prover") (modules . ((lib "k/pages/library.scrbl") (lib "k/pages/language.scrbl") (lib "k/k.scrbl") (lib "k/pages/helper.rkt"))) (name . "k-doc") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k-doc.zip") (tags . ("docs")))
Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "a4dbc713af4f80a718fe6370571dd9782041f419") (dependencies . (("base" #:version "7.8.0.9"))) (description . "implementation (no documentation) for “syntax-classes”") (modules . ((lib "syntax/parse/class/struct-id.rkt") (lib "syntax/parse/class/local-value.rkt") (lib "syntax/parse/class/paren-shape.rkt"))) (name . "syntax-classes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-lib.zip") (tags . ("syntax")))
pkg: creating link to #<path:/home/root//user/.local/share/racket/snapshot/pkgs/syntax-classes-lib>
pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "a4dbc713af4f80a718fe6370571dd9782041f419" #t)
pkg: creating link to #<path:/home/root//user/.local/share/racket/snapshot/pkgs/k-lib>
pkg: updating db with "k-lib" to '#s(pkg-info (catalog "k-lib") "1b026a3e2ad8f05501fca157ff588c2947341dc2" #t)
pkg: creating link to #<path:/home/root//user/.local/share/racket/snapshot/pkgs/k-test>
pkg: updating db with "k-test" to '#s(pkg-info (catalog "k-test") "4192157a5138a16ac0cdbcc5121b477eae786911" #t)
pkg: creating link to #<path:/home/root//user/.local/share/racket/snapshot/pkgs/k-example>
pkg: updating db with "k-example" to '#s(pkg-info (catalog "k-example") "772ad03732a818735083f64ea8bc0e7ad2813ed6" #t)
pkg: creating link to #<path:/home/root//user/.local/share/racket/snapshot/pkgs/k-doc>
pkg: updating db with "k-doc" to '#s(pkg-info (catalog "k-doc") "02179d283d4183caa244b5cd348bb8426d85ae1a" #t)
pkg: creating link to #<path:/home/root//user/.local/share/racket/snapshot/pkgs/k>
pkg: updating db with "k" to '#s(pkg-info (catalog "k") "91f922b1e4a7feb888bb2626637aa8d76c61ce69" #f)
pkg: creating link to #<path:/home/root//user/.local/share/racket/snapshot/pkgs/k-core>
pkg: updating db with "k-core" to '#s(pkg-info (catalog "k-core") "348536038dbcf65e6f8df00c9475fb4ae040405a" #t)
The following uninstalled packages were listed as dependencies
and they were automatically installed:
 dependencies of k:
   k-core
   k-lib
   k-test
   k-example
   k-doc
 dependencies of k-core:
   syntax-classes-lib
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 ---                    [3:07:54]
raco setup: updating: /home/root/user/.local/share/racket/snapshot/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [3:07:54]
raco setup: --- installing foreign libraries ---                   [3:07:54]
raco setup: --- installing shared files ---                        [3:07:54]
raco setup: --- compiling collections ---                          [3:07:54]
raco setup: making: <collects>/syntax/parse
raco setup: making: <collects>/syntax/parse/experimental
raco setup: making: <collects>/syntax/parse/lib
raco setup: making: <collects>/syntax/parse/private
raco setup: making: <pkgs>/k-core/k
raco setup:  in <pkgs>/k-core/k
raco setup:  in <pkgs>/k-core/k/helper
raco setup:  in <pkgs>/syntax-classes-lib/syntax/parse/class
raco setup: making: <pkgs>/k-core/k/helper
raco setup: making: <pkgs>/k-doc/k
raco setup:  in <pkgs>/k-doc/k
raco setup:  in <pkgs>/k-doc/k/pages
raco setup:  in <pkgs>/k-lib/k
/home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier
  in: A
  compilation context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/k-doc/k/pages/language.scrbl
   /home/root/user/.local/share/racket/snapshot/pkgs/k-doc/k/k.scrbl
  location...:
   /home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt:7:10
  context...:
   .../private/parse-interp.rkt:643:50
   /home/root/user/.local/share/racket/snapshot/pkgs/k-core/k/core.rkt:78:0: check-type
   .../private/parse-interp.rkt:643:50
   /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo*
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:145:4: compilation-manager-load-handler
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo*
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo
   ...
raco setup: making: <pkgs>/k-doc/k/pages
raco setup:  in <pkgs>/k-doc/k/pages
raco setup: making: <pkgs>/k-lib/k
raco setup:  in <pkgs>/k-lib/k
/home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier
  in: A
  compilation context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt
  location...:
   /home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt:7:10
  context...:
   .../private/parse-interp.rkt:643:50
   /home/root/user/.local/share/racket/snapshot/pkgs/k-core/k/core.rkt:78:0: check-type
   .../private/parse-interp.rkt:643:50
   /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo*
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root
   /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4
   /home/root/racket/collects/compiler/compiler.rkt:179:4: worker
   /home/root/racket/collects/compiler/compiler.rkt:95:2: compile-directory-visitor
   /home/root/racket/collects/setup/setup-core.rkt:1120:2: compile-cc
   /home/root/racket/collects/setup/setup-core.rkt:1208:8
   /home/root/racket/collects/setup/setup.rkt:78:3
   ...
raco setup: making: <pkgs>/k-lib/k/data
raco setup:  in <pkgs>/k-lib/k/data
raco setup: making: <pkgs>/syntax-classes-lib/syntax
raco setup: making: <pkgs>/syntax-classes-lib/syntax/parse
raco setup: making: <pkgs>/syntax-classes-lib/syntax/parse/class
raco setup:  in <pkgs>/syntax-classes-lib/syntax/parse/class
raco setup: --- creating launchers ---                             [3:08:00]
raco setup: --- installing man pages ---                           [3:08:00]
raco setup: --- building documentation ---                         [3:08:00]
raco setup: running: <pkgs>/k-doc/k/k.scrbl
/home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier
  in: A
  location...:
   /home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt:7:10
  context...:
   .../private/parse-interp.rkt:643:50
   /home/root/user/.local/share/racket/snapshot/pkgs/k-core/k/core.rkt:78:0: check-type
   .../private/parse-interp.rkt:643:50
   /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4
   /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import
   /home/root/racket/collects/racket/private/reqprov.rkt:505:5
   /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import
   /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next
   /home/root/racket/collects/racket/private/reqprov.rkt:257:2
   /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4
   /home/root/racket/share/pkgs/racket-index/setup/scribble.rkt:1591:27
#<syntax:/home/root/user/.local/share/racket/snapshot/pkgs/k-core/k/def.rkt:81:80 (≡ A y x)>
raco setup: running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---                         [3:08:14]
raco setup: --- post-installing collections ---                    [3:08:14]
raco setup: --- summary of errors ---                              [3:08:14]
raco setup: error: during making for <pkgs>/k-doc/k
raco setup:   /home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier
raco setup:     in: A
raco setup:     compiling: <pkgs>/k-lib/k/equality.rkt
raco setup: error: during making for <pkgs>/k-lib/k
raco setup:   /home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier
raco setup:     in: A
raco setup:     compiling: <pkgs>/k-lib/k/equality.rkt
raco setup: error: during building docs for <pkgs>/k-doc/k/k.scrbl
raco setup:   /home/root/user/.local/share/racket/snapshot/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier
raco setup:     in: A
racket pkg install: packages installed, although setup reported errors
The time is now Thursday, June 20th, 2024 10:08:15pm