The time is now Friday, June 21st, 2024 12:00:46am
(/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 refined-acl2)
Resolved "refined-acl2" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "cce@racket-lang.org") (checksum . "176b8b18e44526f37c77d51dc53afd5b1ce272d8") (dependencies . (("mischief"))) (description . "Refined ACL2: experimental implementation of ACL2-verifiable code with ML modules and Racket macros.") (modules . ((lib "refined-acl2/legacy/type/field.rkt") (lib "refined-acl2/examples/id-non-dracula/fresh.rkt") (lib "refined-acl2/model/quote.rkt") (lib "refined-acl2/tests/diff.rkt") (lib "refined-acl2/tests/suite/component.rkt") (lib "refined-acl2/examples/id-non-dracula/original.rkt") (lib "refined-acl2/examples/vm.rkt") (lib "refined-acl2/prelude/base/mutual.rkt") (lib "refined-acl2/prelude.rkt") (lib "refined-acl2/legacy/ref.rkt") (lib "refined-acl2/prelude/sexp.rkt") (lib "refined-acl2/prelude/base/datatype.rkt") (lib "refined-acl2/prelude/set-of.rkt") (lib "refined-acl2/tests/suite/modular.rkt") (lib "refined-acl2/expansion/alpha.rkt") (lib "refined-acl2/tests/suite/atomic.rkt") (lib "refined-acl2/legacy/type/description.rkt") (lib "refined-acl2/legacy/check.rkt") (lib "refined-acl2/model/names.rkt") (lib "refined-acl2/certify.rkt") (lib "refined-acl2/examples/id-non-dracula/check.rkt") (lib "refined-acl2/model/api.rkt") (lib "refined-acl2/primitive.rkt") (lib "refined-acl2/proof/dynamic.rkt") (lib "refined-acl2/legacy/type/function.rkt") (lib "refined-acl2/prelude/core/keywords.rkt") (lib "refined-acl2/model/data.rkt") (lib "refined-acl2/proof/static.rkt") (lib "refined-acl2/expansion/grammar.rkt") (lib "refined-acl2/legacy/api.rkt") (lib "refined-acl2/model/verify.rkt") (lib "refined-acl2/prelude/base/match.rkt") (lib "refined-acl2/examples/sexp.rkt") (lib "refined-acl2/legacy/rename.rkt") (lib "refined-acl2/prelude/core/support.rkt") (lib "refined-acl2/examples/virtual-machine/soundness.rkt") (lib "refined-acl2/prelude/core/description.rkt") (lib "refined-acl2/tests/suite/surface.rkt") (lib "refined-acl2/model.rkt") (lib "refined-acl2/legacy/type.rkt") (lib "refined-acl2/main.rkt") (lib "refined-acl2/prelude/core.rkt") (lib "refined-acl2/examples/bug.rkt") (lib "refined-acl2/legacy/registry.rkt") (lib "refined-acl2/legacy/type/generic.rkt") (lib "refined-acl2/model/acl2.rkt") (lib "refined-acl2/expansion/dependency.rkt") (lib "refined-acl2/expansion/paths.rkt") (lib "refined-acl2/model/syntax.rkt") (lib "refined-acl2/prelude/base.rkt") (lib "refined-acl2/legacy/type/value.rkt") (lib "refined-acl2/legacy/proof.rkt") (lib "refined-acl2/model/unparse.rkt") (lib "refined-acl2/base.rkt") (lib "refined-acl2/prelude/core/imported.rkt") (lib "refined-acl2/legacy/type/theorem.rkt") (lib "refined-acl2/model/parse.rkt") (lib "refined-acl2/prelude/core/atomic.rkt") (lib "refined-acl2/expansion/names.rkt") (lib "refined-acl2/model/subst.rkt") (lib "refined-acl2/legacy/unique.rkt") (lib "refined-acl2/examples/ast.rkt") (lib "refined-acl2/prelude/core/expansion.rkt") (lib "refined-acl2/examples/generic.rkt") (lib "refined-acl2/legacy/type/component.rkt") (lib "refined-acl2/prelude/base/primitive.rkt") (lib "refined-acl2/prelude/base/shorthand.rkt") (lib "refined-acl2/proof/term.rkt") (lib "refined-acl2/model/proof-term.rkt") (lib "refined-acl2/prelude/core/expressions.rkt") (lib "refined-acl2/tests/harness.rkt") (lib "refined-acl2/expansion/runtime.rkt") (lib "refined-acl2/prelude/core/input-streams.rkt") (lib "refined-acl2/tests/run.rkt") (lib "refined-acl2/kernel.rkt") (lib "refined-acl2/examples/virtual-machine/descriptions.rkt") (lib "refined-acl2/core.rkt") (lib "refined-acl2/prelude/core/component.rkt") (lib "refined-acl2/examples/id-non-dracula/different.rkt") (lib "refined-acl2/examples/diss.rkt") (lib "refined-acl2/expansion/simplify.rkt") (lib "refined-acl2/prelude/list-of.rkt") (lib "refined-acl2/tests/suite/macro.rkt") (lib "refined-acl2/prelude/type.rkt") (lib "refined-acl2/examples/id-non-dracula/identical.rkt") (lib "refined-acl2/prelude/base/struct.rkt") (lib "refined-acl2/legacy/type/base.rkt"))) (name . "refined-acl2") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/refined-acl2.zip") (tags . ()))
Resolved "mischief" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "cce@racket-lang.org") (checksum . "7448b1c53b7d7a23dd69cdf68e54cf9033728229") (dependencies . (("base") ("compatibility-lib") ("macro-debugger") ("macro-debugger-text-lib") ("pconvert-lib") ("sandbox-lib") ("scribble-lib") ("srfi-lib") ("srfi-lite-lib") ("compatibility-doc") ("data-doc") ("racket-doc") ("scribble-doc") ("racket-index") ("rackunit-gui") ("rackunit-lib"))) (description . "Mischief: A Racketeer's Toolkit") (modules . ((lib "mischief/lang/config.rkt") (lib "mischief/shorthand.rkt") (lib "mischief/scribblings/fold.scrbl") (lib "no-debug/low-level.rkt") (lib "mischief/maybe.rkt") (lib "no-debug/racket/lang/reader.rkt") (lib "mischief/values.rkt") (lib "mischief/scribblings/typesetting.scrbl") (lib "mischief/props/lang/reader.rkt") (lib "mischief/scribblings/id-table.scrbl") (lib "mischief/scribblings/higher-order.scrbl") (lib "mischief/quotation.rkt") (lib "mischief/error.rkt") (lib "mischief/scribblings/datatypes.scrbl") (lib "mischief/struct.rkt") (lib "mischief/memoize.rkt") (lib "mischief/phrase.rkt") (lib "mischief/scribblings/scope.scrbl") (lib "mischief/discrim.rkt") (lib "mischief/scribblings/transform.scrbl") (lib "mischief/function.rkt") (lib "mischief/scribblings/examples.scrbl") (lib "debug/racket/base.rkt") (lib "mischief/dye-pack.rkt") (lib "mischief/parse.rkt") (lib "mischief/scribblings/modular.scrbl") (lib "mischief/list.rkt") (lib "mischief/main.rkt") (lib "mischief/json.rkt") (lib "no-debug/syntax.rkt") (lib "mischief/stylish/expression.rkt") (lib "debug/low-level.rkt") (lib "mischief/stylish/stylish.rkt") (lib "no-debug/main.rkt") (lib "mischief/lang/runtime.rkt") (lib "mischief/web.rkt") (lib "mischief/scribblings/debugging.scrbl") (lib "mischief/keyword.rkt") (lib "mischief/stylish/print.rkt") (lib "mischief/sort.rkt") (lib "mischief/for.rkt") (lib "mischief/stream.rkt") (lib "mischief/contract.rkt") (lib "mischief/define.rkt") (lib "mischief/scribblings/web.scrbl") (lib "mischief/scribblings/for.scrbl") (lib "mischief/scribblings/contract.scrbl") (lib "debug/provide.rkt") (lib "mischief/explode.rkt") (lib "mischief/stylish/format.rkt") (lib "mischief/scribblings/metaprogramming-moderate.scrbl") (lib "mischief/scope.rkt") (lib "mischief/examples.rkt") (lib "mischief/scribblings/mischief.scrbl") (lib "mischief/dict.rkt") (lib "mischief/kernel-syntax.rkt") (lib "no-debug/mischief.rkt") (lib "mischief/symbol.rkt") (lib "debug/syntax.rkt") (lib "mischief/require.rkt") (lib "no-debug/racket/base/lang/reader.rkt") (lib "mischief/scribblings/metaprogramming-complex.scrbl") (lib "mischief/stylish.rkt") (lib "mischief/scribblings/bindings.scrbl") (lib "mischief/scribblings/parse.scrbl") (lib "debug/racket/lang/reader.rkt") (lib "mischief/visitor.rkt") (lib "mischief/match.rkt") (lib "mischief/scribblings/visitor.scrbl") (lib "mischief/stylish/print-style.rkt") (lib "mischief/scribblings/no-debug.scrbl") (lib "mischief/id-table.rkt") (lib "mischief/lang/reader.rkt") (lib "mischief/scribblings/printing.scrbl") (lib "mischief/transform.rkt") (lib "mischief/preserve-expensive-metadata.rkt") (lib "mischief/scribblings/metaprogramming.scrbl") (lib "mischief/scribblings/stylish.scrbl") (lib "debug/racket.rkt") (lib "mischief/stepper.rkt") (lib "mischief/private/reify-value.rkt") (lib "mischief/scribblings/kernel-syntax.scrbl") (lib "debug/main.rkt") (lib "no-debug/racket.rkt") (lib "mischief/boolean.rkt") (lib "debug/mischief.rkt") (lib "mischief/fold.rkt") (lib "debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/debug.scrbl") (lib "mischief/scribblings/memoize.scrbl") (lib "no-debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/function.scrbl") (lib "mischief/scribblings/dye-pack.scrbl") (lib "debug/racket/base/lang/reader.rkt") (lib "mischief/private/render-expression.rkt") (lib "mischief/module.rkt") (lib "mischief/scribblings/metaprogramming-simple.scrbl") (lib "mischief/string.rkt") (lib "mischief/stylish/expr-style.rkt") (lib "mischief/place.rkt") (lib "mischief/stylish/signatures.rkt") (lib "mischief/tests/stylish.rkt") (lib "no-debug/racket/base.rkt"))) (name . "mischief") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mischief.zip") (tags . ("data" "debug" "dev" "documentation" "language" "syntax")))
pkg: creating link to #<path:/home/root//user/.local/share/racket/snapshot/pkgs/mischief>
pkg: updating db with "mischief" to '#s(pkg-info (catalog "mischief") "7448b1c53b7d7a23dd69cdf68e54cf9033728229" #t)
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/snapshot/pkgs/refined-acl2>
pkg: updating db with "refined-acl2" to '#s((sc-pkg-info pkg-info 3) (catalog "refined-acl2") "176b8b18e44526f37c77d51dc53afd5b1ce272d8" #f "refined-acl2")
The following uninstalled packages were listed as dependencies
and they were automatically installed:
 dependencies of refined-acl2:
   mischief
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 ---                    [5:00:52]
raco setup: updating: /home/root/user/.local/share/racket/snapshot/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [5:00:52]
raco setup: --- installing foreign libraries ---                   [5:00:52]
raco setup: --- installing shared files ---                        [5:00:52]
raco setup: --- compiling collections ---                          [5:00:52]
raco setup: making: <pkgs>/mischief/debug
raco setup:  in <pkgs>/mischief/debug
raco setup:  in <pkgs>/mischief/mischief
raco setup:  in <pkgs>/mischief/mischief/stylish
raco setup:  in <pkgs>/mischief/no-debug
raco setup:  in <pkgs>/mischief/mischief/lang
raco setup: making: <pkgs>/mischief/debug/mischief
raco setup: making: <pkgs>/mischief/debug/mischief/lang
raco setup:  in <pkgs>/mischief/debug/mischief/lang
raco setup: making: <pkgs>/mischief/debug/racket
raco setup:  in <pkgs>/mischief/debug/racket
raco setup: making: <pkgs>/mischief/debug/racket/base
raco setup: making: <pkgs>/mischief/debug/racket/base/lang
raco setup:  in <pkgs>/mischief/debug/racket/base/lang
raco setup: making: <pkgs>/mischief/debug/racket/lang
raco setup:  in <pkgs>/mischief/debug/racket/lang
raco setup: making: <pkgs>/mischief/mischief
raco setup:  in <pkgs>/mischief/mischief
raco setup:  in <pkgs>/mischief/mischief/scribblings
raco setup:  in <pkgs>/mischief/no-debug
raco setup: making: <pkgs>/mischief/mischief/lang
raco setup:  in <pkgs>/mischief/mischief/lang
raco setup: making: <pkgs>/mischief/mischief/private
raco setup:  in <pkgs>/mischief/mischief/private
raco setup: making: <pkgs>/mischief/mischief/props
raco setup: making: <pkgs>/mischief/mischief/props/lang
raco setup:  in <pkgs>/mischief/mischief/props/lang
raco setup: making: <pkgs>/mischief/mischief/scribblings
raco setup: making: <pkgs>/mischief/mischief/stylish
raco setup: making: <pkgs>/mischief/mischief/tests
raco setup:  in <pkgs>/mischief/mischief/tests
raco setup: making: <pkgs>/mischief/no-debug
raco setup:  in <pkgs>/mischief/no-debug
raco setup: making: <pkgs>/mischief/no-debug/mischief
raco setup: making: <pkgs>/mischief/no-debug/mischief/lang
raco setup:  in <pkgs>/mischief/no-debug/mischief/lang
raco setup: making: <pkgs>/mischief/no-debug/racket
raco setup:  in <pkgs>/mischief/no-debug/racket
raco setup: making: <pkgs>/mischief/no-debug/racket/base
raco setup: making: <pkgs>/mischief/no-debug/racket/base/lang
raco setup:  in <pkgs>/mischief/no-debug/racket/base/lang
raco setup: making: <pkgs>/mischief/no-debug/racket/lang
raco setup:  in <pkgs>/mischief/no-debug/racket/lang
raco setup: making: <pkgs>/refined-acl2 (Dracula)
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/expansion
raco setup:  in <pkgs>/refined-acl2/model
raco setup:  in <pkgs>/refined-acl2/proof
sym: undefined;
 cannot use before initialization
  compilation context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/data.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/api.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/kernel.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/core.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/base.rkt
  context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   .../private/parse-interp.rkt:643:50
   /home/root/racket/collects/racket/private/stxparam.rkt:63:2
   [repeats 2 more times]
   /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
   ...
raco setup: making: <pkgs>/refined-acl2/expansion
raco setup:  in <pkgs>/refined-acl2/expansion
sym: undefined;
 cannot use before initialization
  compilation context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/expansion/alpha.rkt
  context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   .../private/parse-interp.rkt:643:50
   /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
   /home/root/racket/collects/pkg/main.rkt:18:0: setup
   ...
raco setup: making: <pkgs>/refined-acl2/model
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
  compilation context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/data.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/acl2.rkt
  context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   .../private/parse-interp.rkt:643:50
   /home/root/racket/collects/racket/private/stxparam.rkt:63:2
   [repeats 2 more times]
   /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
   ...
raco setup: making: <pkgs>/refined-acl2/prelude
raco setup:  in <pkgs>/refined-acl2/prelude
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
  compilation context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/data.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/api.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/kernel.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/core.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/prelude/base.rkt
  context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   .../private/parse-interp.rkt:643:50
   /home/root/racket/collects/racket/private/stxparam.rkt:63:2
   [repeats 2 more times]
   /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
   ...
raco setup: making: <pkgs>/refined-acl2/prelude/base
raco setup:  in <pkgs>/refined-acl2/prelude/base
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
  compilation context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/data.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/api.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/kernel.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/prelude/base/datatype.rkt
  context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   .../private/parse-interp.rkt:643:50
   /home/root/racket/collects/racket/private/stxparam.rkt:63:2
   [repeats 2 more times]
   /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
   ...
raco setup: making: <pkgs>/refined-acl2/prelude/core
raco setup:  in <pkgs>/refined-acl2/prelude/core
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
  compilation context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/data.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/api.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/kernel.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/prelude/core/atomic.rkt
  context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   .../private/parse-interp.rkt:643:50
   /home/root/racket/collects/racket/private/stxparam.rkt:63:2
   [repeats 2 more times]
   /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
   ...
raco setup: making: <pkgs>/refined-acl2/proof
raco setup:  in <pkgs>/refined-acl2/proof
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
  compilation context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/data.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model/api.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/model.rkt
   /home/root/user/.local/share/racket/snapshot/pkgs/refined-acl2/proof/static.rkt
  context...:
   /home/root/user/.local/share/racket/snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   .../private/parse-interp.rkt:643:50
   /home/root/racket/collects/racket/private/stxparam.rkt:63:2
   [repeats 2 more times]
   /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
   ...
raco setup: making: <pkgs>/refined-acl2/tests
raco setup:  in <pkgs>/refined-acl2/tests
raco setup:  in <pkgs>/refined-acl2/expansion
raco setup:  in <pkgs>/refined-acl2/tests/suite
raco setup: making: <pkgs>/refined-acl2/tests/suite
raco setup: --- creating launchers ---                             [5:01:34]
raco setup: --- installing man pages ---                           [5:01:34]
raco setup: --- building documentation ---                         [5:01:34]
raco setup: running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: syncing: <pkgs>/mischief/mischief/doc/mischief
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 ---                         [5:01:51]
raco setup: --- post-installing collections ---                    [5:01:51]
raco setup: --- summary of errors ---                              [5:01:51]
raco setup: error: during making for <pkgs>/refined-acl2 (Dracula)
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup:     compiling: <pkgs>/refined-acl2/model/data.rkt
raco setup: error: during making for <pkgs>/refined-acl2/expansion
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup:     compiling: <pkgs>/refined-acl2/expansion/alpha.rkt
raco setup: error: during making for <pkgs>/refined-acl2/model
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup:     compiling: <pkgs>/refined-acl2/model/data.rkt
raco setup: error: during making for <pkgs>/refined-acl2/prelude
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup:     compiling: <pkgs>/refined-acl2/model/data.rkt
raco setup: error: during making for <pkgs>/refined-acl2/prelude/base
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup:     compiling: <pkgs>/refined-acl2/model/data.rkt
raco setup: error: during making for <pkgs>/refined-acl2/prelude/core
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup:     compiling: <pkgs>/refined-acl2/model/data.rkt
raco setup: error: during making for <pkgs>/refined-acl2/proof
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup:     compiling: <pkgs>/refined-acl2/model/data.rkt
racket pkg install: packages installed, although setup reported errors
The time is now Friday, June 21st, 2024 12:01:51am