The time is now Thursday, May 29th, 2025 5:44:49pm (/usr/bin/env PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto protc-lib) Resolved "protc-lib" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "tgbugs@gmail.com") (checksum . "16a415cfe9f5e3dc95f4b1332e89b20aa8a7583e") (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 . "172de3ca72c49ea9bc6c16a60faacf56055f4236") (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 . "63ec69f3214fd957820ee87e9c3a60404d53adba") (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 . "0dc963e7bd701616713d2d35d57f5535fd141d6c") (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 . "5322c08eaa902d8e25c08fbccf28293151b89348") (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 . "c013177ef2bc6e7b682b08f86295474120af4429") (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 . "e63266ae6244b11a4c00c3286137bb3bba43af3c") (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 . "fd8e3a123cf5b2ab878a6c34cce1d5b1624f1a29") (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 . "e48e074e5efa9a68a0a902f603c81fc4ed146f38") (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 . "d3d619b707da9a5f96e3ec87c7d2a42e74ecd35f") (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 . "19ff72c0a0aaa7aace6eedeb34655ee444f71617") (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 . "19bca5a5a03b26c3f1525b9cde51ad703f167a02") (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 . "5b1b03d8438d4cebd3b19e91b04f30a08f2a4f9d") (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 . "82695b57b0281ebd33b7545618e75bd8445ddddd") (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 . "48c449d58edb95ca1d7de4e4506ccf98df0e73b6") (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 . "738a6f8bc8747ce365b7c518537e9023815d9408") (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 . "eefc269b9e2270ee86b92f5d1cbe50cc53ebd73d") (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 . "2684f0d25ea7dc050a520070d16ce0641bc4be7a") (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 . "8d3c3a8364ed270de0ddeb927c4741471640d7b5") (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 . "2f5de71ba7fb74399aefa591af2e30b9d0822019") (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 . "66399837b490a551a58974469969278eb2636034") (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 . "759d90a7c486455f4c05113898c80f58de933f6f") (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 . "8bc6d388f6e50bd2f7bfcbaa71da46252d47b655") (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") "2f5de71ba7fb74399aefa591af2e30b9d0822019" #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") "66399837b490a551a58974469969278eb2636034" #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") "759d90a7c486455f4c05113898c80f58de933f6f" #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") "8bc6d388f6e50bd2f7bfcbaa71da46252d47b655" #t "racket") pkg: creating link to # pkg: updating db with "protc-lib" to '#s(pkg-info (catalog "protc-lib") "16a415cfe9f5e3dc95f4b1332e89b20aa8a7583e" #f) pkg: creating link to # pkg: updating db with "brag" to '#s(pkg-info (catalog "brag") "172de3ca72c49ea9bc6c16a60faacf56055f4236" #t) pkg: creating link to # pkg: updating db with "brag-lib" to '#s(pkg-info (catalog "brag-lib") "e48e074e5efa9a68a0a902f603c81fc4ed146f38" #t) pkg: creating link to # pkg: updating db with "br-parser-tools-lib" to '#s(pkg-info (catalog "br-parser-tools-lib") "19ff72c0a0aaa7aace6eedeb34655ee444f71617" #t) pkg: creating link to # pkg: updating db with "br-parser-tools-doc" to '#s(pkg-info (catalog "br-parser-tools-doc") "d3d619b707da9a5f96e3ec87c7d2a42e74ecd35f" #t) pkg: creating link to # pkg: updating db with "debug" to '#s(pkg-info (catalog "debug") "63ec69f3214fd957820ee87e9c3a60404d53adba" #t) pkg: creating link to # pkg: updating db with "pretty-format" to '#s(pkg-info (catalog "pretty-format") "19bca5a5a03b26c3f1525b9cde51ad703f167a02" #t) pkg: creating single-collection link to # pkg: updating db with "html-parsing" to '#s((sc-pkg-info pkg-info 3) (catalog "html-parsing") "0dc963e7bd701616713d2d35d57f5535fd141d6c" #t "html-parsing") pkg: creating single-collection link to # pkg: updating db with "mcfly" to '#s((sc-pkg-info pkg-info 3) (catalog "mcfly") "5b1b03d8438d4cebd3b19e91b04f30a08f2a4f9d" #t "mcfly") pkg: creating single-collection link to # pkg: updating db with "overeasy" to '#s((sc-pkg-info pkg-info 3) (catalog "overeasy") "82695b57b0281ebd33b7545618e75bd8445ddddd" #t "overeasy") pkg: creating link to # pkg: updating db with "parsack" to '#s(pkg-info (catalog "parsack") "5322c08eaa902d8e25c08fbccf28293151b89348" #t) pkg: creating link to # pkg: updating db with "parsack-lib" to '#s(pkg-info (catalog "parsack-lib") "48c449d58edb95ca1d7de4e4506ccf98df0e73b6" #t) pkg: creating link to # pkg: updating db with "parsack-doc" to '#s(pkg-info (catalog "parsack-doc") "738a6f8bc8747ce365b7c518537e9023815d9408" #t) pkg: creating link to # pkg: updating db with "parsack-test" to '#s(pkg-info (catalog "parsack-test") "eefc269b9e2270ee86b92f5d1cbe50cc53ebd73d" #t) pkg: creating link to # pkg: updating db with "rosette" to '#s(pkg-info (catalog "rosette") "c013177ef2bc6e7b682b08f86295474120af4429" #t) pkg: creating single-collection link to # pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "2684f0d25ea7dc050a520070d16ce0641bc4be7a" #t "custom-load") pkg: creating link to # pkg: updating db with "rfc6455" to '#s(pkg-info (catalog "rfc6455") "8d3c3a8364ed270de0ddeb927c4741471640d7b5" #t) pkg: creating link to # pkg: updating db with "sxml" to '#s(pkg-info (catalog "sxml") "e63266ae6244b11a4c00c3286137bb3bba43af3c" #t) pkg: creating link to # pkg: updating db with "syntax-warn" to '#s(pkg-info (catalog "syntax-warn") "fd8e3a123cf5b2ab878a6c34cce1d5b1624f1a29" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: 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.17.0.3 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.17.0.3 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.17.0.3/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.17.0.3/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.17.0.3/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [22:45:02] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.3/share/info-cache.rktd raco setup: --- pre-installing collections --- [22:45:02] 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.17.0.3/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 --- [22:45:03] raco setup: --- installing shared files --- [22:45:03] raco setup: --- compiling collections --- [22:45:03] raco setup: making: /racket/base raco setup: making: /racket/base/lang raco setup: making: /br-parser-tools-doc/br-parser-tools raco setup: in /br-parser-tools-doc/br-parser-tools raco setup: in /br-parser-tools-lib/br-parser-tools raco setup: in /br-parser-tools-lib/br-parser-tools/private-lex raco setup: in /br-parser-tools-lib/br-parser-tools/private-yacc raco setup: making: /br-parser-tools-lib/br-parser-tools raco setup: in /br-parser-tools-lib/br-parser-tools raco setup: making: /br-parser-tools-lib/br-parser-tools/examples raco setup: in /br-parser-tools-lib/br-parser-tools/examples raco setup: making: /br-parser-tools-lib/br-parser-tools/private-lex raco setup: making: /br-parser-tools-lib/br-parser-tools/private-yacc raco setup: making: /brag-lib/brag raco setup: in /brag-lib/brag raco setup: in /brag-lib/brag/codegen raco setup: in /brag-lib/brag/rules raco setup: making: /brag-lib/brag/codegen raco setup: in /brag-lib/brag/codegen raco setup: in /brag-lib/brag/private raco setup: in /brag-lib/brag/rules raco setup: making: /brag-lib/brag/private raco setup: in /brag-lib/brag/private raco setup: making: /brag-lib/brag/rules raco setup: making: /brag/brag raco setup: in /brag/brag raco setup: making: /custom-load (custom-load) raco setup: in /custom-load raco setup: in /custom-load/private raco setup: making: /custom-load/private raco setup: making: /debug/debug raco setup: in /debug/debug raco setup: in /debug/debug/private raco setup: in /pretty-format/pretty-format raco setup: in /debug/debug/report raco setup: in /debug/debug/scribblings raco setup: making: /debug/debug/lang raco setup: in /debug/debug/lang raco setup: making: /debug/debug/no-output raco setup: making: /debug/debug/no-output/lang raco setup: in /debug/debug/no-output/lang raco setup: making: /debug/debug/private raco setup: making: /debug/debug/report raco setup: making: /debug/debug/scribblings raco setup: making: /debug/debug/test raco setup: in /debug/debug/test raco setup: making: /debug/typed raco setup: making: /debug/typed/debug raco setup: in /debug/typed/debug raco setup: in /debug/typed/debug/report raco setup: making: /debug/typed/debug/report raco setup: making: /debug/typed/debug/test raco setup: in /debug/typed/debug/test raco setup: making: /html-parsing (html-parsing) raco setup: in /html-parsing raco setup: in /mcfly raco setup: in /overeasy raco setup: making: /mcfly (McFly Runtime) raco setup: in /mcfly raco setup: making: /overeasy (Overeasy) raco setup: in /overeasy raco setup: making: /parsack-doc/parsack raco setup: in /parsack-doc/parsack raco setup: in /parsack-doc/parsack/scribblings raco setup: in /parsack-lib/parsack raco setup: making: /parsack-doc/parsack/scribblings raco setup: making: /parsack-lib/parsack raco setup: in /parsack-lib/parsack raco setup: making: /parsack-test/parsack raco setup: making: /parsack-test/parsack/examples raco setup: in /parsack-test/parsack/examples raco setup: making: /parsack-test/tests raco setup: in /parsack-test/tests raco setup: making: /pretty-format/pretty-format raco setup: in /pretty-format/pretty-format raco setup: in /pretty-format/pretty-format/scribblings raco setup: making: /pretty-format/pretty-format/scribblings raco setup: making: /pretty-format/typed raco setup: in /pretty-format/typed raco setup: making: /protc-lib/protc raco setup: in /protc-lib/protc raco setup: in /protc-lib/protc/private /home/root/user/.local/share/racket/8.17.0.3/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.17.0.3/collects /home/root/racket/collects/ ... [233 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.17.0.3/pkgs/protc-lib/protc/export.rkt /home/root/user/.local/share/racket/8.17.0.3/pkgs/protc-lib/protc/private/export.rkt /home/root/user/.local/share/racket/8.17.0.3/pkgs/protc-lib/protc/private/direct-model.rkt /home/root/user/.local/share/racket/8.17.0.3/pkgs/protc-lib/protc/base.rkt location...: /home/root/user/.local/share/racket/8.17.0.3/pkgs/protc-lib/protc/export.rkt:22:9 context...: /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:150:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile ... raco setup: making: /protc-lib/protc/private raco setup: in /protc-lib/protc/private /home/root/user/.local/share/racket/8.17.0.3/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.17.0.3/collects /home/root/racket/collects/ ... [233 additional linked and package directories] compilation context...: /home/root/user/.local/share/racket/8.17.0.3/pkgs/protc-lib/protc/private/aspects.rkt location...: /home/root/user/.local/share/racket/8.17.0.3/pkgs/protc-lib/protc/private/aspects.rkt:4:9 context...: /home/root/racket/collects/compiler/private/cm-minimal.rkt:717:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:647:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:461:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:447:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:418:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:221:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:109: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:1211:8 /home/root/racket/collects/setup/setup.rkt:80:3 /home/root/racket/collects/pkg/main.rkt:18:0: setup body of (submod "/home/root/racket/collects/pkg/main.rkt" main) /home/root/racket/collects/raco/raco.rkt:41:0 body of "/home/root/racket/collects/raco/raco.rkt" ... raco setup: making: /protc-lib/protc/units raco setup: in /protc-lib/protc/units raco setup: in /sxml/sxml raco setup: in /sxml/sxml/ssax raco setup: in /protc-lib/protc/units/test raco setup: making: /protc-lib/protc/units/test raco setup: making: /rfc6455/net raco setup: in /rfc6455/net raco setup: in /rfc6455/net/rfc6455 raco setup: in /rfc6455/net/rfc6455/hybi00 raco setup: in /rfc6455/net/rfc6455/private raco setup: in /rfc6455/net/rfc6455/rfc6455 raco setup: making: /rfc6455/net/rfc6455 raco setup: in /rfc6455/net/rfc6455 raco setup: in /rfc6455/net/rfc6455/scribblings raco setup: making: /rfc6455/net/rfc6455/examples raco setup: in /rfc6455/net/rfc6455/examples raco setup: making: /rfc6455/net/rfc6455/hybi00 raco setup: making: /rfc6455/net/rfc6455/private raco setup: making: /rfc6455/net/rfc6455/rfc6455 raco setup: making: /rfc6455/net/rfc6455/scribblings raco setup: making: /rosette/rosette raco setup: in /rosette/rosette raco setup: in /rosette/rosette/base raco setup: in /rosette/rosette/base/adt raco setup: in /rosette/rosette/base/core raco setup: in /rosette/rosette/base/form raco setup: in /rosette/rosette/base/struct raco setup: in /rosette/rosette/query raco setup: in /rosette/rosette/solver raco setup: in /rosette/rosette/solver/smt raco setup: in /rosette/rosette/guide/scribble raco setup: in /rosette/rosette/guide/scribble/datatypes raco setup: in /rosette/rosette/guide/scribble/util raco setup: in /rosette/rosette/guide/scribble/error-tracing raco setup: in /rosette/rosette/guide/scribble/essentials raco setup: in /rosette/rosette/lib raco setup: in /rosette/rosette/lib/util raco setup: in /rosette/rosette/guide/scribble/forms raco setup: in /rosette/rosette/guide/scribble/libs raco setup: in /rosette/rosette/lang raco setup: in /rosette/rosette/guide/scribble/performance raco setup: in /rosette/rosette/guide/scribble/reflection raco setup: in /rosette/rosette/guide/scribble/unsafe raco setup: in /rosette/rosette/guide/scribble/welcome raco setup: making: /rosette/rosette/base raco setup: making: /rosette/rosette/base/adt raco setup: making: /rosette/rosette/base/core raco setup: making: /rosette/rosette/base/form raco setup: making: /rosette/rosette/base/struct raco setup: making: /rosette/rosette/guide raco setup: making: /rosette/rosette/guide/scribble raco setup: making: /rosette/rosette/guide/scribble/datatypes raco setup: in /rosette/rosette/guide/scribble/datatypes raco setup: in /rosette/rosette/safe/lang raco setup: making: /rosette/rosette/guide/scribble/error-tracing raco setup: in /rosette/rosette/guide/scribble/error-tracing raco setup: making: /rosette/rosette/guide/scribble/essentials raco setup: in /rosette/rosette/guide/scribble/essentials raco setup: in /rosette/rosette/guide/scribble/util raco setup: making: /rosette/rosette/guide/scribble/forms raco setup: making: /rosette/rosette/guide/scribble/libs raco setup: in /rosette/rosette/guide/scribble/libs raco setup: making: /rosette/rosette/guide/scribble/performance raco setup: in /rosette/rosette/guide/scribble/performance raco setup: making: /rosette/rosette/guide/scribble/reflection raco setup: making: /rosette/rosette/guide/scribble/unsafe raco setup: making: /rosette/rosette/guide/scribble/util raco setup: in /rosette/rosette/guide/scribble/util raco setup: making: /rosette/rosette/guide/scribble/welcome raco setup: making: /rosette/rosette/lang raco setup: making: /rosette/rosette/lib raco setup: in /rosette/rosette/lib raco setup: in /rosette/rosette/lib/profile raco setup: in /rosette/rosette/lib/profile/renderer raco setup: making: /rosette/rosette/lib/profile raco setup: in /rosette/rosette/lib/profile raco setup: in /rosette/rosette/lib/profile/renderer raco setup: in /rosette/rosette/lib/profile/renderer/report raco setup: in /rosette/rosette/lib/util raco setup: making: /rosette/rosette/lib/profile/renderer raco setup: making: /rosette/rosette/lib/profile/renderer/report raco setup: making: /rosette/rosette/lib/profile/renderer/report/html raco setup: making: /rosette/rosette/lib/profile/renderer/report/html/css raco setup: making: /rosette/rosette/lib/profile/renderer/report/html/js raco setup: making: /rosette/rosette/lib/trace raco setup: in /rosette/rosette/lib/trace raco setup: making: /rosette/rosette/lib/trace/report raco setup: in /rosette/rosette/lib/trace/report raco setup: making: /rosette/rosette/lib/trace/report/dist raco setup: making: /rosette/rosette/lib/util raco setup: making: /rosette/rosette/private raco setup: making: /rosette/rosette/query raco setup: making: /rosette/rosette/safe raco setup: making: /rosette/rosette/safe/lang raco setup: making: /rosette/rosette/solver raco setup: making: /rosette/rosette/solver/smt raco setup: making: /rosette/sdsl raco setup: making: /rosette/test raco setup: making: /sxml/sxml (sxml) raco setup: in /sxml/sxml raco setup: in /sxml/sxml/scribblings raco setup: making: /sxml/sxml/scribblings raco setup: in /sxml/sxml/scribblings raco setup: making: /sxml/sxml/ssax (ssax) raco setup: in /sxml/sxml/ssax raco setup: making: /syntax-warn-base (syntax-warn) raco setup: in /syntax-warn-base raco setup: in /syntax-warn-base/warn/private raco setup: making: /syntax-warn-base/warn raco setup: making: /syntax-warn-cli (syntax-warn-cli) raco setup: in /syntax-warn-cli raco setup: making: /syntax-warn-cli/warn raco setup: in /syntax-warn-cli/warn raco setup: in /syntax-warn-cli/warn/private raco setup: in /syntax-warn-base/warn/private raco setup: making: /syntax-warn-cli/warn/private raco setup: in /syntax-warn-cli/warn/private raco setup: making: /syntax-warn-cli/warn/test-no-warnings raco setup: in /syntax-warn-cli/warn/test-no-warnings raco setup: in /syntax-warn-lang/base raco setup: in /syntax-warn-lang/base/private raco setup: in /syntax-warn-base/warn/private raco setup: making: /syntax-warn-cli/warn/test-warnings raco setup: in /syntax-warn-cli/warn/test-warnings raco setup: making: /syntax-warn-cli/warn/test-warnings-suppressed raco setup: in /syntax-warn-cli/warn/test-warnings-suppressed raco setup: making: /syntax-warn-doc (syntax-warn-doc) raco setup: in /syntax-warn-doc raco setup: making: /syntax-warn-lang (syntax-warn-lang) raco setup: in /syntax-warn-lang raco setup: making: /syntax-warn-lang/base raco setup: making: /syntax-warn-lang/base/private raco setup: --- creating launchers --- [22:46:00] raco setup: --- installing man pages --- [22:46:00] raco setup: --- building documentation --- [22:46:00] 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: running: /racket-index/scribblings/main/user/local-redirect.scrbl 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: running: /racket-index/scribblings/main/user/release.scrbl raco setup: syncing: /rfc6455/net/rfc6455/doc/rfc6455 raco setup: syncing: /rosette/rosette/doc/rosette-guide raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /sxml/sxml/doc/sxml raco setup: syncing: /syntax-warn-doc/doc/syntax-warn raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [22:46:17] raco setup: installing: /racket raco setup: installing: /gui-lib/racket/gui raco setup: --- post-installing collections --- [22:46:17] 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.17.0.3/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 --- [22:46:17] raco setup: error: during making for /protc-lib/protc raco setup: /home/root/user/.local/share/racket/8.17.0.3/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.17.0.3/collects raco setup: /home/root/racket/collects/ raco setup: ... [233 additional linked and package directories] raco setup: compiling: /protc-lib/protc/export.rkt raco setup: error: during making for /protc-lib/protc/private raco setup: /home/root/user/.local/share/racket/8.17.0.3/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.17.0.3/collects raco setup: /home/root/racket/collects/ raco setup: ... [233 additional linked and package directories] raco setup: compiling: /protc-lib/protc/private/aspects.rkt racket pkg install: packages installed, although setup reported errors The time is now Thursday, May 29th, 2025 5:46:17pm