The time is now Sunday, May 4th, 2025 9:46:40pm (/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 DISPLAY=:1 PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto protc-test) Resolved "protc-test" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "tgbugs@gmail.com") (checksum . "f6382857e656a571bcc5277fcc5404d6a044a7d9") (dependencies . (("base") ("protc-lib") ("rackunit-lib"))) (description . "Tests for protc.") (modules . ((lib "tests/protc/ur/private/test.rkt") (lib "tests/protc/ur/private/empty.rkt") (lib "tests/protc/ur/private/dissertation.rkt") (lib "tests/protc/ur/private/simple.rkt") (lib "tests/protc/ur/private/test-dio.rkt"))) (name . "protc-test") (ring . 2) (source . "file:///home/root/catalogs/archive/pkgs/protc-test.zip") (tags . ("test"))) Resolved "protc-lib" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "tgbugs@gmail.com") (checksum . "bf9150b2f5d1ca0ea58af265627a13ef6d27ad76") (dependencies . (("base") ("brag") ("debug") ("html-parsing") ("parsack") ("rosette") ("sxml") ("syntax-warn"))) (description . "A language for specifying protocols.") (modules . ((lib "protc/units/nist-tables.rkt") (lib "protc/units/si-prefixes-exp-data.rkt") (lib "protc/private/base.rkt") (lib "protc/private/reader.rkt") (lib "protc/private/kernel.rkt") (lib "protc/private/utils.rkt") (lib "protc/private/test-export.rkt") (lib "protc/private/expander.rkt") (lib "protc/private/parser.rkt") (lib "protc/private/core.rkt") (lib "protc/private/identifier-functions.rkt") (lib "protc/ur.rkt") (lib "protc/base.rkt") (lib "protc/private/curation.rkt") (lib "protc/private/aspects.rkt") (lib "protc/private/direct-model.rkt") (lib "protc/units/imperial-units-data.rkt") (lib "protc/private/syntax-classes.rkt") (lib "protc/units/si-prefixes-data.rkt") (lib "protc/units/test/params.rkt") (lib "protc/units/parsing.rkt") (lib "protc/private/dm-spec-1.rkt") (lib "protc/main.rkt") (lib "protc/units/si-units-extras.rkt") (lib "protc/private/tokenizer.rkt") (lib "protc/private/curation-test.rkt") (lib "protc/units/units-dimensionless.rkt") (lib "protc/private/provide.rkt") (lib "protc/private/curation-unprefixed.rkt") (lib "protc/private/export.rkt") (lib "protc/units/si-units-data.rkt") (lib "protc/export.rkt") (lib "protc/private/rosette-units.rkt"))) (name . "protc-lib") (ring . 2) (source . "file:///home/root/catalogs/archive/pkgs/protc-lib.zip") (tags . ("biology" "laboratory" "methods" "protocols"))) 00: Resolved "brag" via file:///home/root//catalogs/built/catalog 00: Resolved "debug" via file:///home/root//catalogs/built/catalog 01: Resolved "html-parsing" via file:///home/root//catalogs/built/catalog 01: Resolved "parsack" via file:///home/root//catalogs/built/catalog 00: Resolved "rosette" via file:///home/root//catalogs/built/catalog 01: Resolved "sxml" via file:///home/root//catalogs/built/catalog Resolved "syntax-warn" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "e2cefa84a721e019938ab1da6d50274b2da85560") (dependencies . (("base" #:version "6.3") ("brag-lib") ("at-exp-lib") ("br-parser-tools-doc") ("racket-doc") ("scribble-lib"))) (description . "Modernized & improved version of `ragg` language that generates a parser from a BNF grammar") (modules . ((lib "brag/brag.scrbl"))) (name . "brag") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/brag.zip") (tags . ("parser" "parsing"))) pkg: catalog response: #hash((author . "alexander@knauth.org mb@mbtype.com") (checksum . "923166066a2395027246c628c4ba7f52033221ae") (dependencies . (("base" #:version "6.6.0.3") ("rackunit-lib") ("typed-racket-lib") ("pretty-format") ("rackunit-lib") ("rackunit-typed") ("scribble-lib") ("racket-doc") ("scribble-doc"))) (description . "a lang-extension for debugging, and a macro for inserting a debug-repl") (modules . ((lib "debug/scribblings/debug.scrbl") (lib "typed/debug/test/typed-racket.rkt") (lib "debug/test/test-util.rkt") (lib "debug/lang/reader.rkt") (lib "debug/no-output/lang/reader.rkt") (lib "debug/report/helpers.rkt") (lib "typed/debug/report/helpers.rkt") (lib "debug/test/debug-repl-macros.rkt") (lib "debug/test/test.rkt") (lib "debug/lang/language-info.rkt") (lib "debug/report.rkt") (lib "debug/repl.rkt") (lib "debug/private/make-variable-like-transformer.rkt") (lib "debug/test/debug-repl.rkt") (lib "typed/debug/test/typed-with-reader.rkt") (lib "debug/reader.rkt") (lib "typed/debug/report.rkt") (lib "debug/lang/runtime-config.rkt"))) (name . "debug") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/debug.zip") (tags . ("debug" "debugging" "lang-extension" "repl"))) pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "eb2fee547770483e52a838f71544bee614d257eb") (dependencies . (("base") ("mcfly") ("racket-doc") ("scribble-lib") ("overeasy"))) (description . "Permissive Parsing of HTML to SXML") (modules . ((lib "html-parsing/html-parsing.scrbl") (lib "html-parsing/main.rkt"))) (name . "html-parsing") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/html-parsing.zip") (tags . ("html" "sxml" "web"))) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "7df810482e47e06e9409a26d95fd875562de7dbb") (dependencies . (("base") ("parsack-lib") ("parsack-doc") ("parsack-test") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "A basic Parsec (Haskell's monadic parser combinator library) implementation.") (modules . ()) (name . "parsack") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/parsack.zip") (tags . ("parsing"))) pkg: catalog response: #hash((author . "emina@cs.washington.edu") (checksum . "6330a43d70b6341fca6cae54b8b9a49edebaab2d") (dependencies . (("custom-load") ("sandbox-lib") ("scribble-lib") ("racket" #:version "8.1") ("r6rs-lib") ("rfc6455") ("net-lib") ("web-server-lib") ("rackunit-lib") ("slideshow-lib") ("gui-lib") ("base") ("rackunit-doc") ("draw-lib") ("errortrace-lib") ("pict-lib") ("pict-doc") ("scribble-lib") ("racket-doc") ("gui-doc") ("errortrace-doc"))) (description . "The Rosette Language") (modules . ((lib "rosette/guide/scribble/libs/racket-libs.scrbl") (lib "sdsl/websynth/benchmarks/alanon_arkansas_16.rkt") (lib "rosette/lib/trace/raco.rkt") (lib "rosette/lib/util/ws-server.rkt") (lib "sdsl/bv/test/easy.rkt") (lib "sdsl/synthcl/model/memory.rkt") (lib "sdsl/websynth/test/itunes100_8.rkt") (lib "test/query/solve+.rkt") (lib "rosette/base/struct/generics.rkt") (lib "sdsl/fsm/demo.rkt") (lib "sdsl/ifc/basic.rkt") (lib "rosette/base/core/procedure.rkt") (lib "rosette/base/core/numerics.rkt") (lib "rosette/base/form/define.rkt") (lib "rosette/lib/trace/client-launcher.rkt") (lib "sdsl/ifc/test.rkt") (lib "rosette/lib/trace/sample-data.rkt") (lib "sdsl/websynth/test/itunes100_2.rkt") (lib "rosette/guide/scribble/datatypes/procedures.scrbl") (lib "test/base/merge.rkt") (lib "sdsl/synthcl/model/buffer.rkt") (lib "sdsl/synthcl/lang/operators.rkt") (lib "test/base/term.rkt") (lib "sdsl/synthcl/examples/toy/verify/host.rkt") (lib "rosette/base/core/union.rkt") (lib "test/base/vc.rkt") (lib "test/profile/benchmarks/list.rkt") (lib "sdsl/synthcl/test/reals.rkt") (lib "test/profile/test.rkt") (lib "sdsl/synthcl/lang/builtins.rkt") (lib "rosette/guide/scribble/datatypes/equality.scrbl") (lib "sdsl/synthcl/examples/toy/verify/kernel.rkt") (lib "test/profile/renderer.rkt") (lib "test/trace/code/ex-1-2.rkt") (lib "test/query/solve.rkt") (lib "sdsl/synthcl/test/memory.rkt") (lib "rosette/lib/util/streaming-server.rkt") (lib "rosette/solver/smt/env.rkt") (lib "rosette/guide/scribble/error-tracing/sum.rkt") (lib "test/trace/code/ex-1-3.rkt") (lib "rosette/lib/trace/compile.rkt") (lib "sdsl/websynth/test/itunes100_4.rkt") (lib "test/base/real.rkt") (lib "rosette/guide/scribble/unsafe/unsafe.scrbl") (lib "rosette/lib/profile/renderer/report/generic.rkt") (lib "rosette/solver/smt/enc.rkt") (lib "rosette/base/core/reporter.rkt") (lib "rosette/solver/smt/cvc4.rkt") (lib "test/query/grammar.rkt") (lib "test/config.rkt") (lib "test/trace/code/ex-3.rkt") (lib "rosette/base/base.rkt") (lib "rosette/lib/profile/record.rkt") (lib "rosette/guide/scribble/reflection/state-reflection.scrbl") (lib "sdsl/synthcl/model/reals.rkt") (lib "rosette/guide/scribble/error-tracing/select.rkt") (lib "rosette/base/core/term.rkt") (lib "rosette/lib/util/module.rkt") (lib "sdsl/synthcl/lang/util.rkt") (lib "rosette/main.rkt") (lib "sdsl/bv/lang/log.rkt") (lib "rosette/base/core/bvlib.rkt") (lib "rosette/guide/scribble/datatypes/vectors.scrbl") (lib "test/trace/stress/tail.rkt") (lib "rosette/base/adt/seq.rkt") (lib "test/trace/code/ex-1-1.rkt") (lib "rosette/lib/profile/renderer/syntax.rkt") (lib "rosette/guide/scribble/util/demo.rkt") (lib "rosette/lib/profile/raco.rkt") (lib "rosette/query/eval.rkt") (lib "rosette/guide/scribble/datatypes/builtin-datatypes.scrbl") (lib "sdsl/synthcl/model/objects.rkt") (lib "rosette/guide/scribble/datatypes/solvers+solutions.scrbl") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/test.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/host.rkt") (lib "rosette/private/install.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_8.rkt") (lib "sdsl/websynth/test/all-tests.rkt") (lib "rosette/solver/smt/boolector.rkt") (lib "sdsl/bv/examples/hard.rkt") (lib "sdsl/websynth/test/itunes100_16.rkt") (lib "rosette/lib/profile/renderer/renderer.rkt") (lib "test/base/reflect.rkt") (lib "sdsl/synthcl/model/kernel.rkt") (lib "test/trace/test.rkt") (lib "sdsl/bv/examples/medium.rkt") (lib "test/base/eval-guarded.rkt") (lib "sdsl/websynth/benchmarks/imdb250_4.rkt") (lib "rosette/safe.rkt") (lib "rosette/lib/profile/renderer/trace.rkt") (lib "rosette/lib/value-browser.rkt") (lib "rosette/lib/profile/reporter.rkt") (lib "test/trace/code/solver-limitation.rkt") (lib "rosette/guide/scribble/datatypes/test.rkt") (lib "rosette/base/core/forall.rkt") (lib "rosette/solver/smt/cvc5.rkt") (lib "rosette/base/core/bool.rkt") (lib "sdsl/ifc/call.rkt") (lib "sdsl/websynth/benchmarks/itunes100_16.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/host.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_4.rkt") (lib "test/trace/code/macro.rkt") (lib "test/base/quantified.rkt") (lib "rosette/lib/roseunit.rkt") (lib "test/profile/benchmarks/update-at.rkt") (lib "rosette/solver/smt/stp.rkt") (lib "rosette/base/core/distinct.rkt") (lib "rosette/solver/smt/server.rkt") (lib "rosette/guide/scribble/error-tracing/error-tracing.scrbl") (lib "sdsl/synthcl/lang/queries.rkt") (lib "sdsl/ifc/verify-EENI-demo.rkt") (lib "sdsl/fsm/automaton.rkt") (lib "rosette/guide/scribble/datatypes/pairs.scrbl") (lib "rosette/guide/scribble/datatypes/defined-datatypes.scrbl") (lib "sdsl/synthcl/lang/sugar.rkt") (lib "test/base/generics.rkt") (lib "sdsl/ifc/verify.rkt") (lib "sdsl/bv/test/util.rkt") (lib "sdsl/synthcl/lang/typecheck.rkt") (lib "rosette/guide/scribble/reflection/value-reflection.scrbl") (lib "test/trace/code/non-tail.rkt") (lib "test/base/forall.rkt") (lib "rosette/solver/smt/dec.rkt") (lib "rosette/base/form/app.rkt") (lib "sdsl/bv/lang/core.rkt") (lib "rosette/lib/trace/report/fix-path.rkt") (lib "rosette/base/core/real.rkt") (lib "sdsl/websynth/benchmarks/itunes100_4.rkt") (lib "rosette/guide/scribble/libs/rosette-libs.scrbl") (lib "sdsl/synthcl/test/snippets.rkt") (lib "rosette/solver/smt/cmd.rkt") (lib "rosette/lib/profile/renderer/report/solver.rkt") (lib "sdsl/websynth/benchmarks/itunes100_2.rkt") (lib "sdsl/synthcl/model/pointers.rkt") (lib "test/base/list.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host.rkt") (lib "test/base/exprs.rkt") (lib "test/query/optimize.rkt") (lib "rosette/guide/scribble/datatypes/bools+ints+reals.scrbl") (lib "rosette/base/core/result.rkt") (lib "test/base/bool.rkt") (lib "rosette/base/core/equality.rkt") (lib "sdsl/websynth/test/alanon_arkansas_16.rkt") (lib "rosette/lib/trace/mock-server.rkt") (lib "sdsl/bv/lang/bvops.rkt") (lib "sdsl/synthcl/examples/sobelFilter/host.rkt") (lib "test/trace/code/tail.rkt") (lib "rosette/lib/angelic.rkt") (lib "rosette/query/finitize.rkt") (lib "rosette/guide/scribble/performance/performance.scrbl") (lib "sdsl/bv/test/all-tests.rkt") (lib "sdsl/synthcl/lang/main.rkt") (lib "test/base/vector.rkt") (lib "rosette/guide/scribble/rosette-guide.scrbl") (lib "test/trace/stress/non-tail.rkt") (lib "test/base/finitize.rkt") (lib "rosette/lib/profile/graph.rkt") (lib "sdsl/synthcl/model/runtime.rkt") (lib "test/base/distinct.rkt") (lib "test/base/uninterpreted.rkt") (lib "rosette/base/core/safe.rkt") (lib "rosette/guide/scribble/error-tracing/test.rkt") (lib "test/trace/code/infeasible-solver.rkt") (lib "test/query/synthax-external.rkt") (lib "rosette/solver/smt/yices.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/kernel.rkt") (lib "sdsl/synthcl/model/queue.rkt") (lib "rosette/query/query.rkt") (lib "rosette/query/form.rkt") (lib "rosette/guide/scribble/libs/utility-libs.scrbl") (lib "rosette/guide/scribble/essentials/essentials.scrbl") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/test.rkt") (lib "sdsl/synthcl/test/work.rkt") (lib "sdsl/synthcl/lang/types.rkt") (lib "rosette/guide/scribble/util/clean.rkt") (lib "sdsl/synthcl/examples/toy/synth/kernel.rkt") (lib "sdsl/synthcl/model/operators.rkt") (lib "rosette/lib/profile/renderer/report.rkt") (lib "rosette/base/core/bitvector.rkt") (lib "test/base/bvlib.rkt") (lib "sdsl/bv/examples/reference.rkt") (lib "rosette/guide/scribble/libs/bvmul2.rkt") (lib "sdsl/websynth/test/imdb250_16.rkt") (lib "sdsl/bv/lang/form.rkt") (lib "test/base/optimize-order.rkt") (lib "rosette/base/form/control.rkt") (lib "rosette/base/form/module.rkt") (lib "rosette/solver/solver.rkt") (lib "sdsl/synthcl/model/errors.rkt") (lib "sdsl/fsm/fsm.rkt") (lib "rosette/solver/smt/bitwuzla.rkt") (lib "test/lib/destruct.rkt") (lib "rosette/lib/profile/data.rkt") (lib "rosette/solver/smt/z3.rkt") (lib "sdsl/synthcl/examples/sobelFilter/test.rkt") (lib "rosette/lib/profile/compile.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host-buggy.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_2.rkt") (lib "rosette/guide/scribble/datatypes/bitvectors.scrbl") (lib "test/base/common.rkt") (lib "rosette/lib/match.rkt") (lib "sdsl/ifc/indistinguishable.rkt") (lib "sdsl/websynth/benchmarks/imdb250_16.rkt") (lib "sdsl/websynth/test/imdb250_4.rkt") (lib "sdsl/synthcl/model/context.rkt") (lib "rosette/base/core/polymorphic.rkt") (lib "rosette/solver/solution.rkt") (lib "sdsl/websynth/benchmarks/imdb250_2.rkt") (lib "test/base/equality.rkt") (lib "test/base/bitvector.rkt") (lib "rosette/base/struct/struct.rkt") (lib "rosette/lib/util/syntax-properties.rkt") (lib "rosette/lib/util/syntax.rkt") (lib "sdsl/bv/lang/program.rkt") (lib "rosette/lib/profile.rkt") (lib "sdsl/synthcl/model/type.rkt") (lib "sdsl/websynth/websynthlib.rkt") (lib "sdsl/ifc/instruction.rkt") (lib "sdsl/synthcl/test/all-tests.rkt") (lib "test/base/bvseq.rkt") (lib "sdsl/websynth/test/imdb250_2.rkt") (lib "test/trace/code/forall.rkt") (lib "test/trace/code/list.rkt") (lib "rosette/base/core/type.rkt") (lib "sdsl/fsm/viz.rkt") (lib "sdsl/synthcl/model/flags.rkt") (lib "test/base/type.rkt") (lib "test/trace/code/no-error.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/kernel.rkt") (lib "test/trace/code/if.rkt") (lib "rosette/guide/scribble/util/lifted.rkt") (lib "test/base/solver.rkt") (lib "rosette/base/core/reflect.rkt") (lib "rosette/guide/scribble/reflection/symbolic-reflection.scrbl") (lib "sdsl/bv/test/medium.rkt") (lib "rosette/guide/scribble/welcome/welcome.scrbl") (lib "sdsl/websynth/test/alanon_arkansas_8.rkt") (lib "sdsl/synthcl/lang/errors.rkt") (lib "test/base/store.rkt") (lib "test/trace/code/assertion.rkt") (lib "rosette/base/adt/vector.rkt") (lib "rosette/base/core/function.rkt") (lib "sdsl/synthcl/test/typecheck.rkt") (lib "rosette/guide/scribble/datatypes/uninterpreted.scrbl") (lib "rosette/lib/profile/tool.rkt") (lib "sdsl/websynth/dom.rkt") (lib "test/query/synthax.rkt") (lib "rosette/lib/profile/renderer/heap.rkt") (lib "rosette/lang/reader.rkt") (lib "rosette/safe/lang/reader.rkt") (lib "sdsl/websynth/test/alanon_arkansas_2.rkt") (lib "test/trace/code/error.rkt") (lib "rosette/base/core/eval.rkt") (lib "rosette/lib/destruct.rkt") (lib "rosette/base/adt/box.rkt") (lib "test/trace/code/ex-2.rkt") (lib "test/trace/code/list-2.rkt") (lib "rosette/lib/synthax.rkt") (lib "rosette/base/core/merge.rkt") (lib "test/base/push-pop.rkt") (lib "rosette/query/core.rkt") (lib "rosette/base/adt/generic.rkt") (lib "sdsl/synthcl/lang/forms.rkt") (lib "sdsl/ifc/jump.rkt") (lib "rosette/guide/scribble/datatypes/boxes.scrbl") (lib "sdsl/synthcl/lang/env.rkt") (lib "sdsl/synthcl/model/program.rkt") (lib "sdsl/fsm/lib.rkt") (lib "sdsl/synthcl/test/operators.rkt") (lib "sdsl/synthcl/examples/sobelFilter/reference.rkt") (lib "rosette/guide/scribble/performance/xform.rkt") (lib "test/query/synthesize.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/test.rkt") (lib "rosette/base/core/store.rkt") (lib "test/trace/perf-runner.rkt") (lib "test/all-rosette-tests.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/host.rkt") (lib "rosette/base/adt/bvseq.rkt") (lib "sdsl/synthcl/test/grammar.rkt") (lib "test/profile/benchmarks/exn.rkt") (lib "sdsl/bv/bv.rkt") (lib "test/trace/code/lib.rkt") (lib "rosette/base/core/lift.rkt") (lib "sdsl/bv/examples/easy.rkt") (lib "sdsl/websynth/benchmarks/imdb250_8.rkt") (lib "test/base/decode.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/kernel.rkt") (lib "rosette/lib/profile/renderer/report/callgraph.rkt") (lib "rosette/guide/scribble/refs.scrbl") (lib "sdsl/websynth/benchmarks/itunes100_8.rkt") (lib "sdsl/ifc/value.rkt") (lib "sdsl/bv/lang/fragment.rkt") (lib "rosette/guide/scribble/forms/rosette-forms.scrbl") (lib "sdsl/synthcl/test/more-snippets.rkt") (lib "rosette/lib/profile/renderer/report/terms.rkt") (lib "rosette/base/adt/list.rkt") (lib "test/trace/code/test-stack.rkt") (lib "sdsl/synthcl/model/work.rkt") (lib "sdsl/websynth/test/imdb250_8.rkt") (lib "rosette/base/struct/struct-type.rkt") (lib "test/trace/code/macro-define.rkt") (lib "test/trace/code/infeasible.rkt") (lib "rosette/lib/trace/tool.rkt") (lib "test/trace/code/core-form.rkt") (lib "rosette/guide/scribble/forms/racket-forms.scrbl") (lib "sdsl/websynth/test/alanon_arkansas_4.rkt") (lib "test/query/verify.rkt") (lib "rosette/guide/scribble/libs/calc-lang.rkt") (lib "rosette/guide/scribble/forms/forms.scrbl") (lib "rosette/lib/profile/feature.rkt") (lib "rosette/guide/scribble/libs/libraries.scrbl") (lib "test/all-sdsl-tests.rkt") (lib "sdsl/ifc/machine.rkt") (lib "rosette/solver/smt/base-solver.rkt") (lib "rosette/lib/profile/renderer/noop.rkt") (lib "sdsl/fsm/query.rkt") (lib "sdsl/synthcl/examples/sobelFilter/kernel.rkt") (lib "test/trace/code/test-track-form.rkt") (lib "test/trace/code/toplevel.rkt") (lib "sdsl/synthcl/examples/toy/synth/host.rkt") (lib "sdsl/websynth/websynth.rkt") (lib "rosette/solver/smt/smtlib2.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/test.rkt") (lib "rosette/guide/scribble/essentials/bvmid.rkt") (lib "rosette/base/core/exn.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/kernel.rkt"))) (name . "rosette") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rosette.zip") (tags . ())) pkg: catalog response: #hash((author . "clements@brinckerhoff.org") (checksum . "44897651508286712c00c8bb882dcbbed3d31419") (dependencies . (("base") ("srfi-lib") ("racket-doc") ("scribble-lib"))) (description . "SXML family of tools (including SXPath)") (modules . ((lib "sxml/xpath-parser.rkt") (lib "sxml/lazy-ssax.rkt") (lib "sxml/ssax/myenv.rkt") (lib "sxml/ssax/ssax.rkt") (lib "sxml/scribblings/util.rkt") (lib "sxml/ddo-txpath.rkt") (lib "sxml/scribblings/sxml-rep.scrbl") (lib "sxml/scribblings/sxpath.scrbl") (lib "sxml/sxpath.rkt") (lib "sxml/sxpath-ext.rkt") (lib "sxml/tests/tests.rkt") (lib "sxml/sxml-tools.rkt") (lib "sxml/main.rkt") (lib "sxml/xpath-ast.rkt") (lib "sxml/tests/ssax-tests.rkt") (lib "sxml/scribblings/sax-parsing.scrbl") (lib "sxml/scribblings/sxml.scrbl") (lib "sxml/txpath.rkt") (lib "sxml/ssax/xlink-parser.rkt") (lib "sxml/ssax/util.rkt") (lib "sxml/ssax/multi-parser.rkt") (lib "sxml/scribblings/sxslt.scrbl") (lib "sxml/ssax/ssax-prim.rkt") (lib "sxml/ssax/input-parse.rkt") (lib "sxml/ssax/errors-and-warnings.rkt") (lib "sxml/xpath-context_xlink.rkt") (lib "sxml/ssax/id.rkt") (lib "sxml/modif.rkt") (lib "sxml/serializer.rkt") (lib "sxml/ssax/sxpathlib.rkt") (lib "sxml/ssax/SSAX-code.rkt") (lib "sxml/scribblings/all-exported.scrbl") (lib "sxml/ddo-axes.rkt") (lib "sxml/tests/vSXML-to-HTML.rkt") (lib "sxml/ssax/SXML-tree-trans.rkt") (lib "sxml/scribblings/extracted-sperber.scrbl") (lib "sxml/scribblings/extract-provides.rkt") (lib "sxml/ssax/access-remote.rkt") (lib "sxml/tests/vSXML-tree-trans.rkt") (lib "sxml/lazy-xpath.rkt") (lib "sxml/ssax/parse-error.rkt") (lib "sxml/scribblings/serialization.scrbl"))) (name . "sxml") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sxml.zip") (tags . ("sxml" "web" "xml"))) pkg: catalog response: #hash((author . "jackhfirth@gmail.com") (checksum . "1cfbbb3f6a86b7abc2287f45a1c514d5c2616024") (dependencies . (("base") ("syntax-warn-base") ("syntax-warn-cli") ("syntax-warn-doc") ("syntax-warn-lang"))) (description . "Define and attach syntax warnings to code, with automated fixes and built in warnings. Implies -base, -lang, -cli, and -doc packages.") (modules . ()) (name . "syntax-warn") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-warn.zip") (tags . ("lang" "raco" "syntax" "syntax-warn"))) 01: Resolved "brag-lib" via file:///home/root//catalogs/built/catalog Resolved "br-parser-tools-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "8f564a982a5a5c7e03559a58c2d1bb65ac6c2cd2") (dependencies . (("base" #:version "6.3") ("br-parser-tools-lib") ("rackunit-lib") ("syntax-color-lib"))) (description . "") (modules . ((lib "brag/test/test-cutter.rkt") (lib "brag/rules/rule-structs.rkt") (lib "brag/examples/simple-line-drawing/examples/letter-i.rkt") (lib "brag/test/test-hide-and-splice.rkt") (lib "brag/test/test-simple-arithmetic-grammar.rkt") (lib "brag/codegen/reader.rkt") (lib "brag/codegen/codegen.rkt") (lib "brag/examples/whitespace.rkt") (lib "brag/examples/0n1.rkt") (lib "brag/test/test-wordy.rkt") (lib "brag/private/internal-support.rkt") (lib "brag/examples/top-level-cut-3.rkt") (lib "brag/examples/simple-line-drawing/lexer.rkt") (lib "brag/examples/simple-arithmetic-grammar.rkt") (lib "brag/test/test-parser.rkt") (lib "brag/test/test-start-and-atok.rkt") (lib "brag/examples/simple-line-drawing.rkt") (lib "brag/rules/parser.rkt") (lib "brag/examples/top-level-cut-2.rkt") (lib "brag/main.rkt") (lib "brag/test/test-0n1n.rkt") (lib "brag/examples/simple-line-drawing/grammar.rkt") (lib "brag/examples/wordy.rkt") (lib "brag/rules/lexer.rkt") (lib "brag/test/test-cutter-another.rkt") (lib "brag/private/indenter.rkt") (lib "brag/examples/cutter.rkt") (lib "brag/examples/empty-symbol.rkt") (lib "brag/examples/01-equal.rkt") (lib "brag/test/test-baby-json.rkt") (lib "brag/test/test-0n1.rkt") (lib "brag/examples/baby-json-hider.rkt") (lib "brag/test/test-empty-symbol.rkt") (lib "brag/rules/stx-types.rkt") (lib "brag/test/test-make-rule-parser.rkt") (lib "brag/examples/simple-line-drawing/lang/reader.rkt") (lib "brag/examples/top-level-cut-1.rkt") (lib "brag/test/test-weird-grammar.rkt") (lib "brag/test/test-whitespace.rkt") (lib "brag/codegen/satisfaction.rkt") (lib "brag/examples/nested-repeats.rkt") (lib "brag/examples/simple-line-drawing/interpret.rkt") (lib "brag/test/test-flatten.rkt") (lib "brag/test/weird-grammar.rkt") (lib "brag/test/test-all.rkt") (lib "brag/examples/baby-json-alt2.rkt") (lib "brag/examples/baby-json.rkt") (lib "brag/test/test-01-equal.rkt") (lib "brag/examples/statlist-grammar.rkt") (lib "brag/examples/simple-line-drawing/semantics.rkt") (lib "brag/examples/subrule.rkt") (lib "brag/examples/lua-parser.rkt") (lib "brag/test/test-quotation-marks-and-backslashes.rkt") (lib "brag/test/test-lexer.rkt") (lib "brag/test/test-nested-repeats.rkt") (lib "brag/test/test-baby-json-hider.rkt") (lib "brag/examples/start-and-atok.rkt") (lib "brag/rules/stx.rkt") (lib "brag/examples/add-mult.rkt") (lib "brag/test/test-old-token.rkt") (lib "brag/examples/cutter-another.rkt") (lib "brag/test/test-top-level-cut.rkt") (lib "brag/examples/bnf.rkt") (lib "brag/codegen/runtime.rkt") (lib "brag/test/test-codepoints.rkt") (lib "brag/examples/codepoints.rkt") (lib "brag/test/test-simple-line-drawing.rkt") (lib "brag/test/test-errors.rkt") (lib "brag/examples/hide-and-splice.rkt") (lib "brag/examples/curly-quantifier.rkt") (lib "brag/examples/nested-word-list.rkt") (lib "brag/codegen/expander.rkt") (lib "brag/examples/0n1n.rkt") (lib "brag/private/colorer.rkt") (lib "brag/codegen/flatten.rkt") (lib "brag/examples/quotation-marks-and-backslashes.rkt") (lib "brag/support.rkt") (lib "brag/test/test-curly-quantifier.rkt") (lib "brag/examples/baby-json-alt.rkt"))) (name . "brag-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/brag-lib.zip") (tags . ("lib"))) pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "bf58b27dbeac336944400122b04d0882712d3408") (dependencies . (("base") ("scheme-lib") ("racket-doc") ("syntax-color-doc") ("br-parser-tools-lib") ("scribble-lib"))) (description . "fork of `parser-tools-doc` for Beautiful Racket") (modules . ((lib "br-parser-tools/br-parser-tools.scrbl"))) (name . "br-parser-tools-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/br-parser-tools-doc.zip") (tags . ("beautiful-racket"))) Resolved "br-parser-tools-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "25dc57020052b773ccb5f811ea4fa5d6e33946ff") (dependencies . (("scheme-lib") ("base") ("compatibility-lib") ("rackunit-lib"))) (description . "fork of `parser-tools-lib` for Beautiful Racket") (modules . ((lib "br-parser-tools/private-yacc/table.rkt") (lib "br-parser-tools/private-lex/actions.rkt") (lib "br-parser-tools/private-lex/stx.rkt") (lib "br-parser-tools/private-yacc/yacc-helper.rkt") (lib "br-parser-tools/private-lex/token-syntax.rkt") (lib "br-parser-tools/examples/read.rkt") (lib "br-parser-tools/yacc-to-scheme.rkt") (lib "br-parser-tools/private-lex/token.rkt") (lib "br-parser-tools/private-lex/unicode-chars.rkt") (lib "br-parser-tools/private-yacc/input-file-parser.rkt") (lib "br-parser-tools/private-lex/deriv.rkt") (lib "br-parser-tools/lex.rkt") (lib "br-parser-tools/private-yacc/lalr.rkt") (lib "br-parser-tools/private-yacc/parser-builder.rkt") (lib "br-parser-tools/private-yacc/graph.rkt") (lib "br-parser-tools/private-yacc/lr0.rkt") (lib "br-parser-tools/private-lex/error-tests.rkt") (lib "br-parser-tools/cfg-parser.rkt") (lib "br-parser-tools/private-lex/front.rkt") (lib "br-parser-tools/yacc.rkt") (lib "br-parser-tools/private-lex/re.rkt") (lib "br-parser-tools/lex-sre.rkt") (lib "br-parser-tools/private-yacc/parser-actions.rkt") (lib "br-parser-tools/examples/calc.rkt") (lib "br-parser-tools/lex-plt-v200.rkt") (lib "br-parser-tools/private-yacc/grammar.rkt") (lib "br-parser-tools/private-lex/util.rkt"))) (name . "br-parser-tools-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/br-parser-tools-lib.zip") (tags . ("beautiful-racket"))) Resolved "pretty-format" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "88257cec4ebc69e4f4b9fed613fbf1d7ad1582d5") (dependencies . (("base" #:version "6.0.0.4") ("typed-racket-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "Pretty versions of printf, format, etc. that print according to format strings") (modules . ((lib "pretty-format/main.rkt") (lib "pretty-format/scribblings/pretty-format.scrbl") (lib "typed/pretty-format.rkt"))) (name . "pretty-format") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pretty-format.zip") (tags . ("io" "printing"))) 01: Resolved "mcfly" via file:///home/root//catalogs/built/catalog Resolved "overeasy" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "b3f635fe029bc876cddd704ab030f42ed220e266") (dependencies . (("at-exp-lib") ("base") ("scribble-lib") ("racket-doc"))) (description . "Embedded Package Documentation Runtime") (modules . ((lib "mcfly/test-mcfly-spec.rkt") (lib "mcfly/mcfly-spec.rkt") (lib "mcfly/mcfly-misc.rkt") (lib "mcfly/main.rkt") (lib "mcfly/mcfly-expand.rkt") (lib "mcfly/doc.rkt") (lib "mcfly/mcfly-parse.rkt") (lib "mcfly/mcfly-scribble.rkt") (lib "mcfly/mcfly.scrbl") (lib "mcfly/mcfly-format.rkt"))) (name . "mcfly") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mcfly.zip") (tags . ("documentation"))) pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "25ea304b63da14526045f0e59eb988df9adab9fb") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("mcfly"))) (description . "Racket Language Test Engine") (modules . ((lib "overeasy/main.rkt") (lib "overeasy/overeasy.rkt") (lib "overeasy/test-overeasy.rkt") (lib "overeasy/overeasy.scrbl"))) (name . "overeasy") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/overeasy.zip") (tags . ("testing"))) 01: Resolved "parsack-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "parsack-doc" via file:///home/root//catalogs/built/catalog Resolved "parsack-test" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "103bccd4ff66c2cc5866d61aad724c8a147faded") (dependencies . (("base"))) (description . "core parsack files (no docs or tests)") (modules . ((lib "parsack/main.rkt") (lib "parsack/parsack.rkt"))) (name . "parsack-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/parsack-lib.zip") (tags . ("parsing"))) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "85f4d6c29ebcfc77b437131210041d1c40251b15") (dependencies . (("base") ("parsack-lib") ("scribble-lib") ("racket-doc"))) (description . "documentation for parsack") (modules . ((lib "parsack/scribblings/parsack.scrbl"))) (name . "parsack-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/parsack-doc.zip") (tags . ("documentation" "parsing"))) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "77de509986753d0a65e6383ca254bcbcea33d725") (dependencies . (("base") ("parsack-lib") ("rackunit-lib"))) (description . "tests and examples for parsack") (modules . ((lib "tests/parsack/example-tests/csv-parser-basic-tests.rkt") (lib "tests/parsack/run-all-tests.rkt") (lib "parsack/examples/csv-parser-basic.rkt") (lib "tests/parsack/bytestring-tests.rkt") (lib "parsack/examples/csv-parser-sepBy.rkt") (lib "tests/parsack/example-tests/json-parser-tests.rkt") (lib "tests/parsack/example-tests/json-perf-test.rkt") (lib "tests/parsack/example-tests/http-request-parser-tests.rkt") (lib "tests/parsack/example-tests/parse-result-tests.rkt") (lib "tests/parsack/example-tests/csv-parser-quoted-tests.rkt") (lib "tests/parsack/example-tests/csv-parser-sepBy-tests.rkt") (lib "parsack/examples/json-parser.rkt") (lib "parsack/examples/url-query-parser.rkt") (lib "tests/parsack/example-tests/url-query-parser-tests.rkt") (lib "tests/parsack/parsack-tests.rkt") (lib "parsack/examples/csv-parser-quoted.rkt") (lib "parsack/examples/http-request-parser.rkt") (lib "tests/parsack/test-utils.rkt") (lib "parsack/examples/scheme-parser.rkt"))) (name . "parsack-test") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/parsack-test.zip") (tags . ("parsing" "tests"))) 01: Resolved "custom-load" via file:///home/root//catalogs/built/catalog Resolved "rfc6455" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "5ea9cd850505dfa710367bf41105b8989823b72c") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "A load handler that avoids stale zo files.") (modules . ((lib "custom-load/custom-load.scrbl") (lib "custom-load/main.rkt") (lib "custom-load/top.rkt") (lib "custom-load/test/c.rkt") (lib "custom-load/test/a.rkt") (lib "custom-load/test/b.rkt") (lib "custom-load/private/loader.rkt"))) (name . "custom-load") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/custom-load.zip") (tags . ())) pkg: catalog response: #hash((author . "tonygarnockjones@gmail.com") (checksum . "2051309a6a241bc7984e5ef9854ab20c69bccad7") (dependencies . (("base") ("net-lib") ("rackunit-lib") ("web-server-lib") ("scribble-lib") ("net-doc") ("racket-doc") ("web-server-doc"))) (description . "RFC 6455 WebSockets support for Racket.") (modules . ((lib "net/rfc6455/hybi00/dispatcher.rkt") (lib "net/rfc6455/client.rkt") (lib "net/rfc6455/examples/test-server.rkt") (lib "net/rfc6455/rfc6455/frame.rkt") (lib "net/rfc6455/rfc6455/handshake.rkt") (lib "net/rfc6455/rfc6455/conn.rkt") (lib "net/rfc6455/examples/time-server.rkt") (lib "net/rfc6455/hybi00/conn.rkt") (lib "net/rfc6455/conn-api.rkt") (lib "net/rfc6455/hybi00/handshake.rkt") (lib "net/rfc6455/examples/time-client-with-sync.rkt") (lib "net/rfc6455/scribblings/rfc6455.scrbl") (lib "net/rfc6455/hybi00/client.rkt") (lib "net/rfc6455/examples/time-client-with-threads.rkt") (lib "net/rfc6455/http.rkt") (lib "net/rfc6455/service-mapper.rkt") (lib "net/rfc6455/rfc6455/dispatcher.rkt") (lib "net/rfc6455/examples/test-service-mapper.rkt") (lib "net/rfc6455/timeout.rkt") (lib "net/rfc6455/examples/client.rkt") (lib "net/rfc6455/server.rkt") (lib "net/rfc6455/examples/echo-server.rkt") (lib "net/rfc6455/url.rkt") (lib "net/rfc6455/examples/cat.rkt") (lib "net/rfc6455/dispatcher.rkt") (lib "net/rfc6455.rkt") (lib "net/rfc6455/rfc6455/client.rkt") (lib "net/rfc6455/private/connection-manager.rkt"))) (name . "rfc6455") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rfc6455.zip") (tags . ("http" "net" "web"))) 01: Resolved "syntax-warn-base" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-warn-cli" via file:///home/root//catalogs/built/catalog 00: Resolved "syntax-warn-doc" via file:///home/root//catalogs/built/catalog Resolved "syntax-warn-lang" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "jackhfirth@gmail.com") (checksum . "5cb7d0384393cfc0e723fdf073370a65f3816d81") (dependencies . (("base" #:version "6.4") ("rackunit-lib"))) (description . "Base library for defining and attaching syntax warnings") (modules . ((lib "syntax/warn/private/warn-config.rkt") (lib "syntax/warn/private/string-pad.rkt") (lib "syntax/warn/private/list.rkt") (lib "syntax/warn/private/warn-module.rkt") (lib "syntax/warn/private/syntax-srcloc-data.rkt") (lib "syntax/warn/private/filter-index.rkt") (lib "syntax/warn/private/syntax-srcloc.rkt") (lib "syntax/warn/private/warn-property.rkt") (lib "syntax/warn.rkt") (lib "syntax/warn/private/rackunit-syntax.rkt") (lib "syntax/warn/private/string-lines.rkt") (lib "syntax/warn/private/syntax-format.rkt") (lib "syntax/warn/private/rackunit-string.rkt") (lib "syntax/warn/private/warn.rkt") (lib "syntax/warn/private/syntax-srcloc-test.rkt"))) (name . "syntax-warn-base") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-warn-base.zip") (tags . ("syntax" "syntax-warn"))) pkg: catalog response: #hash((author . "jackhfirth@gmail.com") (checksum . "d48af00d108fa00c325bf0e1d3e98378eddc8813") (dependencies . (("rackunit-lib") ("syntax-warn-lang") ("base") ("compiler-lib") ("syntax-warn-base") ("rackunit-lib"))) (description . "Command line raco tools for checking and fixing syntax warnings") (modules . ((lib "syntax/warn/test-warnings-suppressed/main.rkt") (lib "syntax/warn/private/string-delta.rkt") (lib "syntax/warn/raco-warn.rkt") (lib "syntax/warn/test-no-warnings/main.rkt") (lib "syntax/warn/test-warnings/main.rkt") (lib "syntax/warn/private/syntax-string.rkt") (lib "syntax/warn/private/module.rkt") (lib "syntax/warn/private/read-test.rkt") (lib "syntax/warn/private/config.rkt") (lib "syntax/warn/private/read.rkt") (lib "syntax/warn/private/test.rkt") (lib "syntax/warn/raco-fix.rkt") (lib "syntax/warn/private/command.rkt"))) (name . "syntax-warn-cli") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-warn-cli.zip") (tags . ("raco" "syntax" "syntax-warn"))) pkg: catalog response: #hash((author . "jackhfirth@gmail.com") (checksum . "9dd254f78f67189e7a10f1480b6e45da19a0f61d") (dependencies . (("syntax-warn-base") ("scribble-lib") ("scribble-text-lib") ("base") ("racket-doc") ("scribble-lib") ("syntax-warn-base"))) (description . "Documentation for the syntax-warn packages") (modules . ((lib "syntax-warn-doc/base.rkt") (lib "syntax-warn-doc/main.scrbl") (lib "syntax-warn-doc/reference.scrbl") (lib "syntax-warn-doc/lang.scrbl") (lib "syntax-warn-doc/cli.scrbl"))) (name . "syntax-warn-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-warn-doc.zip") (tags . ("docs" "syntax" "syntax-warn"))) pkg: catalog response: #hash((author . "jackhfirth@gmail.com") (checksum . "e14ce42ee9e373a5e5c43e16b761cf0326b07b0b") (dependencies . (("base") ("syntax-warn-base") ("rackunit-lib"))) (description . "#lang racket/base/warn - Racket with syntax warnings") (modules . ((lib "racket/base/private/require.rkt") (lib "racket/base/warn.rkt"))) (name . "syntax-warn-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-warn-lang.zip") (tags . ("lang" "syntax" "syntax-warn"))) pkg: creating single-collection link to # pkg: updating db with "syntax-warn-base" to '#s((sc-pkg-info pkg-info 3) (catalog "syntax-warn-base") "5cb7d0384393cfc0e723fdf073370a65f3816d81" #t "syntax") pkg: creating single-collection link to # pkg: updating db with "syntax-warn-cli" to '#s((sc-pkg-info pkg-info 3) (catalog "syntax-warn-cli") "d48af00d108fa00c325bf0e1d3e98378eddc8813" #t "syntax") pkg: creating single-collection link to # pkg: updating db with "syntax-warn-doc" to '#s((sc-pkg-info pkg-info 3) (catalog "syntax-warn-doc") "9dd254f78f67189e7a10f1480b6e45da19a0f61d" #t "syntax-warn-doc") pkg: creating single-collection link to # pkg: updating db with "syntax-warn-lang" to '#s((sc-pkg-info pkg-info 3) (catalog "syntax-warn-lang") "e14ce42ee9e373a5e5c43e16b761cf0326b07b0b" #t "racket") pkg: creating link to # pkg: updating db with "protc-test" to '#s(pkg-info (catalog "protc-test") "f6382857e656a571bcc5277fcc5404d6a044a7d9" #f) pkg: creating link to # pkg: updating db with "protc-lib" to '#s(pkg-info (catalog "protc-lib") "bf9150b2f5d1ca0ea58af265627a13ef6d27ad76" #t) pkg: creating link to # pkg: updating db with "brag" to '#s(pkg-info (catalog "brag") "e2cefa84a721e019938ab1da6d50274b2da85560" #t) pkg: creating link to # pkg: updating db with "brag-lib" to '#s(pkg-info (catalog "brag-lib") "8f564a982a5a5c7e03559a58c2d1bb65ac6c2cd2" #t) pkg: creating link to # pkg: updating db with "br-parser-tools-lib" to '#s(pkg-info (catalog "br-parser-tools-lib") "25dc57020052b773ccb5f811ea4fa5d6e33946ff" #t) pkg: creating link to # pkg: updating db with "br-parser-tools-doc" to '#s(pkg-info (catalog "br-parser-tools-doc") "bf58b27dbeac336944400122b04d0882712d3408" #t) pkg: creating link to # pkg: updating db with "debug" to '#s(pkg-info (catalog "debug") "923166066a2395027246c628c4ba7f52033221ae" #t) pkg: creating link to # pkg: updating db with "pretty-format" to '#s(pkg-info (catalog "pretty-format") "88257cec4ebc69e4f4b9fed613fbf1d7ad1582d5" #t) pkg: creating single-collection link to # pkg: updating db with "html-parsing" to '#s((sc-pkg-info pkg-info 3) (catalog "html-parsing") "eb2fee547770483e52a838f71544bee614d257eb" #t "html-parsing") pkg: creating single-collection link to # pkg: updating db with "mcfly" to '#s((sc-pkg-info pkg-info 3) (catalog "mcfly") "b3f635fe029bc876cddd704ab030f42ed220e266" #t "mcfly") pkg: creating single-collection link to # pkg: updating db with "overeasy" to '#s((sc-pkg-info pkg-info 3) (catalog "overeasy") "25ea304b63da14526045f0e59eb988df9adab9fb" #t "overeasy") pkg: creating link to # pkg: updating db with "parsack" to '#s(pkg-info (catalog "parsack") "7df810482e47e06e9409a26d95fd875562de7dbb" #t) pkg: creating link to # pkg: updating db with "parsack-lib" to '#s(pkg-info (catalog "parsack-lib") "103bccd4ff66c2cc5866d61aad724c8a147faded" #t) pkg: creating link to # pkg: updating db with "parsack-doc" to '#s(pkg-info (catalog "parsack-doc") "85f4d6c29ebcfc77b437131210041d1c40251b15" #t) pkg: creating link to # pkg: updating db with "parsack-test" to '#s(pkg-info (catalog "parsack-test") "77de509986753d0a65e6383ca254bcbcea33d725" #t) pkg: creating link to # pkg: updating db with "rosette" to '#s(pkg-info (catalog "rosette") "6330a43d70b6341fca6cae54b8b9a49edebaab2d" #t) pkg: creating single-collection link to # pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "5ea9cd850505dfa710367bf41105b8989823b72c" #t "custom-load") pkg: creating link to # pkg: updating db with "rfc6455" to '#s(pkg-info (catalog "rfc6455") "2051309a6a241bc7984e5ef9854ab20c69bccad7" #t) pkg: creating link to # pkg: updating db with "sxml" to '#s(pkg-info (catalog "sxml") "44897651508286712c00c8bb882dcbbed3d31419" #t) pkg: creating link to # pkg: updating db with "syntax-warn" to '#s(pkg-info (catalog "syntax-warn") "1cfbbb3f6a86b7abc2287f45a1c514d5c2616024" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of protc-test: protc-lib dependencies of protc-lib: brag debug html-parsing parsack rosette sxml syntax-warn dependencies of brag: brag-lib br-parser-tools-doc dependencies of brag-lib: br-parser-tools-lib dependencies of debug: pretty-format dependencies of html-parsing: mcfly overeasy dependencies of parsack: parsack-lib parsack-doc parsack-test dependencies of rosette: custom-load rfc6455 dependencies of syntax-warn: syntax-warn-base syntax-warn-cli syntax-warn-doc syntax-warn-lang raco setup: version: 8.16 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.16 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.16/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.16/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.16/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 --- [21:46:44] raco setup: updating: /home/root/user/.local/share/racket/8.16/share/info-cache.rktd raco setup: --- pre-installing collections --- [21:46:44] raco setup: pre-installing: /rosette/rosette ********** Failed to install Z3 ********** Rosette installed successfully, but wasn't able to install the Z3 SMT solver. You'll need to manually install a Z3 binary at this location: /home/root/user/.local/share/racket/8.16/pkgs/rosette/bin/z3 or anywhere that is on your PATH. Alternatively, in your programs, you can construct a solver object manually: (current-solver (z3 #:path "/path/to/z3")) Note that Rosette ships with a specific release of Z3 (v4.8.8). Installing a different version of Z3 may change the performance of Rosette programs. The problem was: tcp-connect: host not found hostname: github.com port number: 443 system error: Temporary failure in name resolution; gai_err=-3 ********** raco setup: --- installing foreign libraries --- [21:46:45] raco setup: --- installing shared files --- [21:46:45] raco setup: --- compiling collections --- [21:46:45] raco setup: --- parallel build using 2 jobs --- [21:46:45] raco setup: 1 making: /br-parser-tools-doc/br-parser-tools raco setup: 0 making: /br-parser-tools-lib/br-parser-tools raco setup: 0 making: /br-parser-tools-lib/br-parser-tools/examples raco setup: 0 making: /br-parser-tools-lib/br-parser-tools/private-lex raco setup: 0 making: /br-parser-tools-lib/br-parser-tools/private-yacc raco setup: 0 making: /brag-lib/brag raco setup: 0 making: /brag-lib/brag/codegen raco setup: 1 making: /brag/brag raco setup: 1 making: /custom-load (custom-load) raco setup: 0 making: /brag-lib/brag/private raco setup: 1 making: /custom-load/private raco setup: 1 making: /debug/debug raco setup: 0 making: /brag-lib/brag/rules raco setup: 0 making: /debug/typed/debug raco setup: 1 making: /debug/debug/lang raco setup: 1 making: /debug/debug/no-output/lang raco setup: 1 making: /debug/debug/private raco setup: 1 making: /debug/debug/report raco setup: 1 making: /debug/debug/test raco setup: 1 making: /html-parsing (html-parsing) raco setup: 0 making: /debug/typed/debug/report raco setup: 0 making: /debug/typed/debug/test raco setup: 0 making: /mcfly (McFly Runtime) raco setup: 0 making: /overeasy (Overeasy) raco setup: 0 making: /parsack-doc/parsack raco setup: 1 making: /parsack-lib/parsack raco setup: 1 making: /parsack-test/parsack/examples raco setup: 0 making: /parsack-test/tests raco setup: 0 making: /pretty-format/pretty-format raco setup: 1 making: /pretty-format/typed raco setup: 0 making: /protc-lib/protc /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/export.rkt /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/direct-model.rkt /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/base.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9 context...: /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 /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 ... raco setup: 1 making: /protc-test/tests/protc/ur/private /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/curation.rkt /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/ur.rkt /home/root/user/.local/share/racket/8.16/pkgs/protc-test/tests/protc/ur/private/dissertation.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9 context...: /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/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/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/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-test/tests/protc/ur/private/empty.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9 context...: /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/collects/compiler/private/cm-minimal.rkt:755:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /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/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-test/tests/protc/ur/private/simple.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9 context...: /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/collects/compiler/private/cm-minimal.rkt:755:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /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/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-test/tests/protc/ur/private/test-dio.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9 context...: /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/collects/compiler/private/cm-minimal.rkt:755:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /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 ... raco setup: 0 making: /protc-lib/protc/private /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/aspects.rkt:4:9: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/aspects.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/aspects.rkt:4:9 context...: /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/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-test/tests/protc/ur/private/test.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9 context...: /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/collects/compiler/private/cm-minimal.rkt:755:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /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 ... raco setup: 1 making: /rfc6455/net /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/syntax-classes.rkt /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/base.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9 context...: /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 /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 ... raco setup: 1 making: /rfc6455/net/rfc6455 raco setup: 1 making: /rfc6455/net/rfc6455/examples raco setup: 1 making: /rfc6455/net/rfc6455/hybi00 raco setup: 1 making: /rfc6455/net/rfc6455/private raco setup: 1 making: /rfc6455/net/rfc6455/rfc6455 raco setup: 1 making: /rosette/rosette /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/aspects.rkt:4:9: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/core.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/aspects.rkt:4:9 context...: /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/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/curation-test.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9 context...: /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/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/curation-unprefixed.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9 context...: /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/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/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/dm-spec-1.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9 context...: /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/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/expander.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9 context...: /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/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found for module path: barcode/qrcode collection: "barcode" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/test-export.rkt location...: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9 context...: /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/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop '(let-quants: #) '(keyword-apply all-knowns '(#:g #:m) (list (sym g) (sym m)) '()) '(let-quants: #) '(keyword-apply all-knowns '(#:L) (list 100) '()) ''m 'mM ''k 'kg '(assert-unit kg) '(assert (= kg (* g (get-multiplier 'k)))) '(let-quants: #) '(keyword-apply all-knowns '(#:g #:L #:g) (list ? final-volume 10) '()) '(let-quants: #) '(keyword-apply all-knowns '(#:g #:g) (list ? 10) '()) '(helpers: ()) '(λ (#:invariant invariant-value #:volume (volume42241 (sym volume)) #:mass (mass42242 (sym mass)) #:duration (duration42243 (sym duration))) (clear-vc!) (define-symbolic volume real?) (define-symbolic mass real?) (define-symbolic duration real?) (define-symbolic equation-invariant real?) (assert (and (< 0 volume) (< 0 mass) (< 0 duration))) (assert (= equation-invariant (/ (/ volume mass) duration))) (assert (and (= equation-invariant invariant-value) (= volume volume42241) (= mass mass42242) (= duration duration42243))) (begin0 (model (solve null)) (when #t (clear-vc!)))) '(helpers: (# #)) '(λ (#:invariant invariant-value #:mass (mass42250 (sym mass)) #:mass-molar (mass-molar42251 (sym mass-molar)) #:volume (volume42252 (sym volume)) #:mass-atomic (mass-atomic42253 (sym mass-atomic)) #:mol-atomic (mol-atomic42254 (sym mol-atomic))) (clear-vc!) (define-symbolic mass real?) (define-symbolic mass-molar real?) (define-symbolic volume real?) (define-symbolic mass-atomic real?) (define-symbolic mol-atomic real?) (define-symbolic equation-invariant real?) (assert (and (< 0 mass) (< 0 mass-molar) (< 0 volume) (< 0 mass-atomic) (< 0 mol-atomic))) (assert (= mass-molar (/ mass-atomic mol-atomic))) (assert (= mol-atomic 1)) (assert (= equation-invariant (/ (* mass (/ mass-molar)) volume))) (assert (and (= equation-invariant invariant-value) (= mass mass42250) (= mass-molar mass-molar42251) (= volume volume42252) (= mass-atomic mass-atomic42253) (= mol-atomic mol-atomic42254))) (begin0 (model (solve null)) (when #t (clear-vc!)))) raco setup: 0 making: /protc-lib/protc/units raco setup: 1 making: /rosette/rosette/base raco setup: 1 making: /rosette/rosette/base/adt raco setup: 1 making: /rosette/rosette/base/core raco setup: 1 making: /rosette/rosette/base/form raco setup: 1 making: /rosette/rosette/base/struct raco setup: 1 making: /rosette/rosette/guide/scribble/datatypes raco setup: 1 making: /rosette/rosette/guide/scribble/error-tracing raco setup: 1 making: /rosette/rosette/guide/scribble/essentials raco setup: 0 making: /protc-lib/protc/units/test raco setup: 0 making: /sxml/sxml (sxml) raco setup: 1 making: /rosette/rosette/guide/scribble/libs raco setup: 1 making: /rosette/rosette/guide/scribble/performance raco setup: 1 making: /rosette/rosette/guide/scribble/util raco setup: 1 making: /rosette/rosette/lang raco setup: 1 making: /rosette/rosette/lib raco setup: 1 making: /rosette/rosette/lib/profile raco setup: 0 making: /sxml/sxml/scribblings raco setup: 0 making: /sxml/sxml/ssax (ssax) raco setup: 0 making: /syntax-warn-base (syntax-warn) raco setup: 0 making: /syntax-warn-cli (syntax-warn-cli) raco setup: 0 making: /syntax-warn-cli/warn raco setup: 1 making: /rosette/rosette/lib/profile/renderer raco setup: 1 making: /rosette/rosette/lib/profile/renderer/report raco setup: 1 making: /rosette/rosette/lib/trace raco setup: 1 making: /rosette/rosette/lib/trace/report raco setup: 1 making: /rosette/rosette/lib/util raco setup: 1 making: /rosette/rosette/query raco setup: 1 making: /rosette/rosette/safe/lang raco setup: 1 making: /rosette/rosette/solver raco setup: 1 making: /rosette/rosette/solver/smt raco setup: 1 making: /syntax-warn-doc (syntax-warn-doc) raco setup: 1 making: /syntax-warn-lang (syntax-warn-lang) raco setup: 1 making: /syntax-warn-lang/base raco setup: 0 making: /syntax-warn-cli/warn/private raco setup: 0 making: /syntax-warn-cli/warn/test-no-warnings raco setup: 1 making: /syntax-warn-lang/base/private raco setup: 0 making: /syntax-warn-cli/warn/test-warnings-suppressed raco setup: --- creating launchers --- [21:47:04] raco setup: --- installing man pages --- [21:47:04] raco setup: --- building documentation --- [21:47:04] raco setup: syncing: /br-parser-tools-doc/br-parser-tools/doc/br-parser-tools raco setup: syncing: /brag/brag/doc/brag raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /debug/debug/doc/debug raco setup: syncing: /html-parsing/doc/html-parsing raco setup: syncing: /mcfly/doc/mcfly raco setup: syncing: /overeasy/doc/overeasy raco setup: syncing: /parsack-doc/parsack/doc/parsack raco setup: syncing: /pretty-format/pretty-format/doc/pretty-format raco setup: syncing: /rfc6455/net/rfc6455/doc/rfc6455 raco setup: syncing: /rosette/rosette/doc/rosette-guide raco setup: syncing: /sxml/sxml/doc/sxml raco setup: syncing: /syntax-warn-doc/doc/syntax-warn raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [21:47:11] raco setup: installing: /racket raco setup: installing: /gui-lib/racket/gui raco setup: --- post-installing collections --- [21:47:11] raco setup: post-installing: /rosette/rosette ********** Failed to install Z3 ********** Rosette installed successfully, but wasn't able to install the Z3 SMT solver. You'll need to manually install a Z3 binary at this location: /home/root/user/.local/share/racket/8.16/pkgs/rosette/bin/z3 or anywhere that is on your PATH. Alternatively, in your programs, you can construct a solver object manually: (current-solver (z3 #:path "/path/to/z3")) Note that Rosette ships with a specific release of Z3 (v4.8.8). Installing a different version of Z3 may change the performance of Rosette programs. The problem was: tcp-connect: host not found hostname: github.com port number: 443 system error: Temporary failure in name resolution; gai_err=-3 ********** raco setup: --- summary of errors --- [21:47:11] raco setup: error: during making for /protc-lib/protc raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/export.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== raco setup: error: during making for /protc-test/tests/protc/ur/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/curation.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== raco setup: error: during making for /protc-test/tests/protc/ur/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-test/tests/protc/ur/private/empty.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== raco setup: error: during making for /protc-test/tests/protc/ur/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-test/tests/protc/ur/private/simple.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== raco setup: error: during making for /protc-test/tests/protc/ur/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-test/tests/protc/ur/private/test-dio.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/aspects.rkt:4:9: collection not found raco setup: for module path: rdf/utils raco setup: collection: "rdf" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/aspects.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== raco setup: error: during making for /protc-test/tests/protc/ur/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-test/tests/protc/ur/private/test.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9: collection not found raco setup: for module path: rdf/utils raco setup: collection: "rdf" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/identifier-functions.rkt raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/aspects.rkt:4:9: collection not found raco setup: for module path: rdf/utils raco setup: collection: "rdf" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/core.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9: collection not found raco setup: for module path: rdf/utils raco setup: collection: "rdf" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/curation-test.rkt raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9: collection not found raco setup: for module path: rdf/utils raco setup: collection: "rdf" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/curation-unprefixed.rkt raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/dm-spec-1.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/private/identifier-functions.rkt:3:9: collection not found raco setup: for module path: rdf/utils raco setup: collection: "rdf" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/expander.rkt raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.16/pkgs/protc-lib/protc/export.rkt:22:9: collection not found raco setup: for module path: barcode/qrcode raco setup: collection: "barcode" raco setup: in collection directories: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: ... [230 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/test-export.rkt STDERR: standard-module-name-resolver: collection not found for module path: rdf/utils collection: "rdf" in collection directories: /home/root/user/.local/share/racket/8.16/collects /home/root/racket/collects/ ... [230 additional linked and package directories] context...: /home/root/racket/collects/syntax/private/modresolve-noctc.rkt:60:0: resolve-module-path /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:489:18 /home/root/racket/collects/setup/parallel-build.rkt:458:3 ===== racket pkg install: packages installed, although setup reported errors GC: 0:atexit peak 382,356K(+190,255K); alloc 30,197,068K; major 8; minor 1471; 9283ms The time is now Sunday, May 4th, 2025 9:47:11pm