The time is now Tuesday, July 1st, 2025 3:13:52pm
(/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 PLTSTDOUT=debug@pkg info@GC:major /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto logic-lib)
Resolved "logic-lib" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "1265dfc77517921b63661acaf460da48233d3067") (dependencies . (("automata-lib") ("base") ("mischief") ("pict-lib") ("syntax-classes-lib") ("syntax-spec-v3") ("rackunit-lib"))) (description . "") (modules . ((lib "logic/private/sl/cycles.rkt") (lib "logic/private/qea/trie.rkt") (lib "logic/private/pltl/relation.rkt") (lib "logic/qea.rkt") (lib "logic/private/sl/solver.rkt") (lib "logic/dfa.rkt") (lib "logic/nfa.rkt") (lib "logic/private/pltl/monitor.rkt") (lib "logic/re.rkt") (lib "logic/private/pltl/formula.rkt") (lib "logic/match.rkt") (lib "logic/sl.rkt") (lib "logic/pltl.rkt") (lib "logic/private/qea/compile.rkt"))) (name . "logic-lib") (ring . 2) (source . "file:///home/root/catalogs/archive/pkgs/logic-lib.zip") (tags . ()))
00: Resolved "automata-lib" via file:///home/root//catalogs/built/catalog
00: Resolved "mischief" via file:///home/root//catalogs/built/catalog
01: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog
Resolved "syntax-spec-v3" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "dceef261939406449bb26c6c791d5320ae37b882") (dependencies . (("base" #:version "6.2.900.6"))) (description . "a library for defining efficient automata using match patterns") (modules . ((lib "automata/nfa.rkt") (lib "automata/re-help.rkt") (lib "automata/nfa-star.rkt") (lib "automata/re.rkt") (lib "automata/machine.rkt") (lib "automata/nfa-ep.rkt") (lib "automata/re-ext.rkt") (lib "automata/re-compile.rkt") (lib "automata/dfa.rkt"))) (name . "automata-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/automata-lib.zip") (tags . ("automata" "match" "regex")))
pkg: catalog response: #hash((author . "cce@racket-lang.org") (checksum . "7763cdfd1d6a99b6098478c0e5144e892fbf513d") (dependencies . (("base") ("compatibility-lib") ("macro-debugger") ("macro-debugger-text-lib") ("pconvert-lib") ("sandbox-lib") ("scribble-lib") ("srfi-lib") ("srfi-lite-lib") ("compatibility-doc") ("data-doc") ("racket-doc") ("scribble-doc") ("racket-index") ("rackunit-gui") ("rackunit-lib"))) (description . "Mischief: A Racketeer's Toolkit") (modules . ((lib "mischief/lang/config.rkt") (lib "mischief/shorthand.rkt") (lib "mischief/scribblings/fold.scrbl") (lib "no-debug/low-level.rkt") (lib "mischief/maybe.rkt") (lib "no-debug/racket/lang/reader.rkt") (lib "mischief/values.rkt") (lib "mischief/scribblings/typesetting.scrbl") (lib "mischief/props/lang/reader.rkt") (lib "mischief/scribblings/id-table.scrbl") (lib "mischief/scribblings/higher-order.scrbl") (lib "mischief/quotation.rkt") (lib "mischief/error.rkt") (lib "mischief/scribblings/datatypes.scrbl") (lib "mischief/struct.rkt") (lib "mischief/memoize.rkt") (lib "mischief/phrase.rkt") (lib "mischief/scribblings/scope.scrbl") (lib "mischief/discrim.rkt") (lib "mischief/scribblings/transform.scrbl") (lib "mischief/function.rkt") (lib "mischief/scribblings/examples.scrbl") (lib "debug/racket/base.rkt") (lib "mischief/dye-pack.rkt") (lib "mischief/parse.rkt") (lib "mischief/scribblings/modular.scrbl") (lib "mischief/list.rkt") (lib "mischief/main.rkt") (lib "mischief/json.rkt") (lib "no-debug/syntax.rkt") (lib "mischief/stylish/expression.rkt") (lib "debug/low-level.rkt") (lib "mischief/stylish/stylish.rkt") (lib "no-debug/main.rkt") (lib "mischief/lang/runtime.rkt") (lib "mischief/web.rkt") (lib "mischief/scribblings/debugging.scrbl") (lib "mischief/keyword.rkt") (lib "mischief/stylish/print.rkt") (lib "mischief/sort.rkt") (lib "mischief/for.rkt") (lib "mischief/stream.rkt") (lib "mischief/contract.rkt") (lib "mischief/define.rkt") (lib "mischief/scribblings/web.scrbl") (lib "mischief/scribblings/for.scrbl") (lib "mischief/scribblings/contract.scrbl") (lib "debug/provide.rkt") (lib "mischief/explode.rkt") (lib "mischief/stylish/format.rkt") (lib "mischief/scribblings/metaprogramming-moderate.scrbl") (lib "mischief/scope.rkt") (lib "mischief/examples.rkt") (lib "mischief/scribblings/mischief.scrbl") (lib "mischief/dict.rkt") (lib "mischief/kernel-syntax.rkt") (lib "no-debug/mischief.rkt") (lib "mischief/symbol.rkt") (lib "debug/syntax.rkt") (lib "mischief/require.rkt") (lib "no-debug/racket/base/lang/reader.rkt") (lib "mischief/scribblings/metaprogramming-complex.scrbl") (lib "mischief/stylish.rkt") (lib "mischief/scribblings/bindings.scrbl") (lib "mischief/scribblings/parse.scrbl") (lib "debug/racket/lang/reader.rkt") (lib "mischief/visitor.rkt") (lib "mischief/match.rkt") (lib "mischief/scribblings/visitor.scrbl") (lib "mischief/stylish/print-style.rkt") (lib "mischief/scribblings/no-debug.scrbl") (lib "mischief/id-table.rkt") (lib "mischief/lang/reader.rkt") (lib "mischief/scribblings/printing.scrbl") (lib "mischief/transform.rkt") (lib "mischief/preserve-expensive-metadata.rkt") (lib "mischief/scribblings/metaprogramming.scrbl") (lib "mischief/scribblings/stylish.scrbl") (lib "debug/racket.rkt") (lib "mischief/stepper.rkt") (lib "mischief/private/reify-value.rkt") (lib "mischief/scribblings/kernel-syntax.scrbl") (lib "debug/main.rkt") (lib "no-debug/racket.rkt") (lib "mischief/boolean.rkt") (lib "debug/mischief.rkt") (lib "mischief/fold.rkt") (lib "debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/debug.scrbl") (lib "mischief/scribblings/memoize.scrbl") (lib "no-debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/function.scrbl") (lib "mischief/scribblings/dye-pack.scrbl") (lib "debug/racket/base/lang/reader.rkt") (lib "mischief/private/render-expression.rkt") (lib "mischief/module.rkt") (lib "mischief/scribblings/metaprogramming-simple.scrbl") (lib "mischief/string.rkt") (lib "mischief/stylish/expr-style.rkt") (lib "mischief/place.rkt") (lib "mischief/stylish/signatures.rkt") (lib "mischief/tests/stylish.rkt") (lib "no-debug/racket/base.rkt"))) (name . "mischief") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mischief.zip") (tags . ("data" "debug" "dev" "documentation" "language" "syntax")))
pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "422c9b7c9cb7cbcf4d4da828983a2273a2880788") (dependencies . (("base" #:version "7.8.0.9"))) (description . "implementation (no documentation) for “syntax-classes”") (modules . ((lib "syntax/parse/class/struct-id.rkt") (lib "syntax/parse/class/local-value.rkt") (lib "syntax/parse/class/paren-shape.rkt"))) (name . "syntax-classes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-lib.zip") (tags . ("syntax")))
pkg: catalog response: #hash((author . "michael.ballantyne@gmail.com") (checksum . "f1c57a6f980522af66390a0f105537b930fee94e") (dependencies . (("base") ("version-case") ("syntax-classes-lib") ("rackunit-lib") ("racket-doc") ("scribble-lib") ("drracket") ("typed-racket-lib"))) (description . "") (modules . ((lib "syntax-spec-v3/tests/dsls/minikanren-binding-space-compile.rkt") (lib "syntax-spec-v3/tests/dsls/minikanren-compile-defs.rkt") (lib "syntax-spec-v3/tests/dsls/typed-peg/private/runtime.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/leftrec-oopsla.rkt") (lib "syntax-spec-v3/private/ee-lib/flip-intro-scope.rkt") (lib "syntax-spec-v3/private/syntax/compile/binding-spec.rkt") (lib "syntax-spec-v3/private/ee-lib/syntax-serializer.rkt") (lib "syntax-spec-v3/private/syntax/compile/nonterminal-expander.rkt") (lib "syntax-spec-v3/tests/dsls/peg/private/compile-alt-str.rkt") (lib "syntax-spec-v3/tests/dsls/minikanren-rs2e/mk.rkt") (lib "syntax-spec-v3/tests/dsls/minikanren-compile.rkt") (lib "syntax-spec-v3/demos/minimal-state-machine/gui-layout.rkt") (lib "syntax-spec-v3/demos/wg211/mk-core.rkt") (lib "syntax-spec-v3/private/runtime/errors.rkt") (lib "syntax-spec-v3/tests/dsls/simply-typed-lambda-calculus.rkt") (lib "syntax-spec-v3/demos/wg211/mk-with-sugar.rkt") (lib "syntax-spec-v3/tests/dsls/stlc-on-typed-racket.rkt") (lib "syntax-spec-v3/tests/dsls/peg/core.rkt") (lib "syntax-spec-v3/tests/dsls/cmdline/example.rkt") (lib "syntax-spec-v3/tests/basic-langs/define.rkt") (lib "syntax-spec-v3/private/ee-lib/define.rkt") (lib "syntax-spec-v3/demos/wg211/compile.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/14-foreign.rkt") (lib "syntax-spec-v3/design/statecharts-full.rkt") (lib "syntax-spec-v3/demos/zed-talk/micro-mk-rt.rkt") (lib "syntax-spec-v3/tests/dsls/tiny-hdl/hdl.rkt") (lib "syntax-spec-v3/demos/strumienta-talk/building-up-to-qi.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/15-foreign-extension.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/05-example-with-binding.rkt") (lib "syntax-spec-v3/tests/basic-langs/mutual-recursion.rkt") (lib "syntax-spec-v3/demos/visser-symposium/state-machine-compiler.rkt") (lib "syntax-spec-v3/tests/dsls/minikanren-rs2e/example.rkt") (lib "syntax-spec-v3/tests/basic-langs/racket-macro.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/compile.rkt") (lib "syntax-spec-v3/tests/dsls/match.rkt") (lib "syntax-spec-v3/tests/binding-operations.rkt") (lib "syntax-spec-v3/tests/datum-matching.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/07-example-with-sugar.rkt") (lib "syntax-spec-v3/demos/wg211/4-example-with-sugar.rkt") (lib "syntax-spec-v3/tests/dsls/tiny-hdl/half-adder.rkt") (lib "syntax-spec-v3/tests/dsls/state-machine-oo/state-machine-compiler.rkt") (lib "syntax-spec-v3/tests/colon-form.rkt") (lib "syntax-spec-v3/tests/basic-langs/racket-var.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/lift-error.rkt") (lib "syntax-spec-v3/tests/racket-body.rkt") (lib "syntax-spec-v3/tests/dsls/stlc-lang/main.rkt") (lib "syntax-spec-v3/tests/errors.rkt") (lib "syntax-spec-v3/private/ee-lib/syntax-datum.rkt") (lib "syntax-spec-v3/private/syntax/compile/pattern-var-reflection.rkt") (lib "syntax-spec-v3/private/ee-lib/persistent-id-table.rkt") (lib "syntax-spec-v3/tests/multi-import.rkt") (lib "syntax-spec-v3/tests/global-reference-compiler.rkt") (lib "syntax-spec-v3/tests/nest-use-site-scope.rkt") (lib "syntax-spec-v3/demos/visser-symposium/csv-browser.rkt") (lib "syntax-spec-v3/private/test/simple-bspec.rkt") (lib "syntax-spec-v3/private/runtime/syntax-classes.rkt") (lib "syntax-spec-v3/private/ee-lib/datum-map.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/sexpr.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/figure-7.rkt") (lib "syntax-spec-v3/scribblings/tutorial/stlc-tutorial.scrbl") (lib "syntax-spec-v3/private/ee-lib/test/same-binding.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/13-routes.rkt") (lib "syntax-spec-v3/tests/dsls/peg.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/raise-1.rkt") (lib "syntax-spec-v3/private/ee-lib/lift-trampoline.rkt") (lib "syntax-spec-v3/private/ee-lib/syntax-category.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/02-example-core.rkt") (lib "syntax-spec-v3/scribblings/tutorial/main.scrbl") (lib "syntax-spec-v3/demos/mk-workshop-2024/16-occurs-check.rkt") (lib "syntax-spec-v3/tests/dsls/typed-peg/core.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/define-peg-ast.rkt") (lib "syntax-spec-v3/tests/nonterminal-prop.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/04-mk-with-binding.rkt") (lib "syntax-spec-v3/demos/strumienta-talk/csv-demo/state-machine-compiler.rkt") (lib "syntax-spec-v3/design/statechart-examples/statechart-timer.rkt") (lib "syntax-spec-v3/demos/zed-talk/micro-mk2.rkt") (lib "syntax-spec-v3/tests/reference-compiler-with-application.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/core-basic-tokens.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/srcloc.rkt") (lib "syntax-spec-v3/demos/zed-talk/micro-mk5.rkt") (lib "syntax-spec-v3/scribblings/reference/specifying.scrbl") (lib "syntax-spec-v3/tests/basic-langs/simple-match.rkt") (lib "syntax-spec-v3/tests/dsls/matthews-findler/lump.rkt") (lib "syntax-spec-v3/tests/dsls/matthews-findler/lump-inferred.rkt") (lib "syntax-spec-v3/design/statecharts-smaller.rkt") (lib "syntax-spec-v3/demos/wg211/2-example-core.rkt") (lib "syntax-spec-v3/tests/multi-nest.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/colon-bind-shorthand.rkt") (lib "syntax-spec-v3/demos/wg211/compile-with-check.rkt") (lib "syntax-spec-v3/design/statechart-examples/statechart-temp.rkt") (lib "syntax-spec-v3/tests/dsls/peg/main.rkt") (lib "syntax-spec-v3/tests/dsls/matthews-findler/ml.rkt") (lib "syntax-spec-v3/tests/dsls/typed-peg/private/forms.rkt") (lib "syntax-spec-v3/demos/zed-talk/micro-mk1.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/compile-with-check.rkt") (lib "syntax-spec-v3/private/runtime/binding-spec.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/define-in-let.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/sugar.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/flights-data.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/raise-2.rkt") (lib "syntax-spec-v3/design/statechart-examples/statechart-reddit.rkt") (lib "syntax-spec-v3/demos/wg211/mk-with-check.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/optional.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/binops.rkt") (lib "syntax-spec-v3/tests/dsls/typed-peg/private/compile.rkt") (lib "syntax-spec-v3/tests/variants.rkt") (lib "syntax-spec-v3/design/staged-minikanren.rkt") (lib "syntax-spec-v3/demos/minimal-state-machine/csv-browser.rkt") (lib "syntax-spec-v3/demos/zed-talk/macros.rkt") (lib "syntax-spec-v3/tests/dsls/peg/private/forms.rkt") (lib "syntax-spec-v3/private/runtime/binding-operations.rkt") (lib "syntax-spec-v3/tests/dsls/peg/private/compile.rkt") (lib "syntax-spec-v3/scribblings/reference/compiling.scrbl") (lib "syntax-spec-v3/demos/strumienta-talk/csv-demo/state-machine.rkt") (lib "syntax-spec-v3/tests/dsls/js/js.rkt") (lib "syntax-spec-v3/tests/dsls/state-machine-oo/state-machine.rkt") (lib "syntax-spec-v3/tests/racket-references.rkt") (lib "syntax-spec-v3/demos/zed-talk/tradeoffs.rkt") (lib "syntax-spec-v3/main.rkt") (lib "syntax-spec-v3/tests/dsls/miniclass/test.rkt") (lib "syntax-spec-v3/tests/dsls/tiny-hdl/full-adder.rkt") (lib "syntax-spec-v3/tests/dsls/peg/private/test/case.rkt") (lib "syntax-spec-v3/private/test/set-bang.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/08-mk-compiled.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/runtime.rkt") (lib "syntax-spec-v3/design/statechart-examples/statechart-watch.rkt") (lib "syntax-spec-v3/demos/visser-symposium/state-machine.rkt") (lib "syntax-spec-v3/scribblings/reference/versions.scrbl") (lib "syntax-spec-v3/scribblings/common.rkt") (lib "syntax-spec-v3/tests/group-ellipsis.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/11-example-with-check.rkt") (lib "syntax-spec-v3/tests/dsls/statecharts/statecharts.rkt") (lib "syntax-spec-v3/demos/zed-talk/workbench.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/12-example-matche.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/leftrec.rkt") (lib "syntax-spec-v3/demos/wg211/6-example-with-check.rkt") (lib "syntax-spec-v3/demos/wg211/runtime.rkt") (lib "syntax-spec-v3/private/syntax/interface.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/core-text.rkt") (lib "syntax-spec-v3/design/statechart-examples/statechart-flight-booker.rkt") (lib "syntax-spec-v3/demos/wg211/mk-with-binding.rkt") (lib "syntax-spec-v3/private/ee-lib/lift-disappeareds.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/many-until.rkt") (lib "syntax-spec-v3/demos/strumienta-talk/csv-demo/gui-layout.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/01-example.rkt") (lib "syntax-spec-v3/tests/symbol-collections.rkt") (lib "syntax-spec-v3/tests/dsls/minikanren-binding-space.rkt") (lib "syntax-spec-v3/tests/basic-langs/block.rkt") (lib "syntax-spec-v3/demos/visser-symposium/gui-layout.rkt") (lib "syntax-spec-v3/private/ee-lib/binding.rkt") (lib "syntax-spec-v3/demos/strumienta-talk/csv-demo/main.rkt") (lib "syntax-spec-v3/private/syntax/env-reps.rkt") (lib "syntax-spec-v3/demos/zed-talk/micro-mk4.rkt") (lib "syntax-spec-v3/tests/props.rkt") (lib "syntax-spec-v3/tests/dsls/stlc-lang/test.rkt") (lib "syntax-spec-v3/tests/dsls/cmdline/cmdline.rkt") (lib "syntax-spec-v3/demos/zed-talk/micro-mk3.rkt") (lib "syntax-spec-v3/tests/basic-langs/bind-syntax.rkt") (lib "syntax-spec-v3/demos/wg211/mk.rkt") (lib "syntax-spec-v3/design/statechart-examples/statechart-trafficlight.rkt") (lib "syntax-spec-v3/demos/symbol-tables.rkt") (lib "syntax-spec-v3/demos/wg211/complete.rkt") (lib "syntax-spec-v3/scribblings/tutorial/multipass-tutorial.scrbl") (lib "syntax-spec-v3/tests/rewrite-hygiene.rkt") (lib "syntax-spec-v3/demos/zed-talk/micro-mk2b.rkt") (lib "syntax-spec-v3/tests/dsls/peg/private/leftrec-check.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/test-alt-str.rkt") (lib "syntax-spec-v3/tests/dsls/peg2.rkt") (lib "syntax-spec-v3/private/ee-lib/errors.rkt") (lib "syntax-spec-v3/tests/basic-langs/define-star.rkt") (lib "syntax-spec-v3/demos/wg211/5-example-compiled.rkt") (lib "syntax-spec-v3/tests/dsls/minikanren-compile-defs-min.rkt") (lib "syntax-spec-v3/private/test/sequence.rkt") (lib "syntax-spec-v3/testing.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/03-mk-core.rkt") (lib "syntax-spec-v3/design/statechart-examples/statechart-counter.rkt") (lib "syntax-spec-v3/private/syntax/compile/syntax-spec.rkt") (lib "syntax-spec-v3/tests/dsls/minikanren.rkt") (lib "syntax-spec-v3/tests/dsls/qi-core.rkt") (lib "syntax-spec-v3/tests/dsls/stlc-lang/program.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/06-mk-with-sugar.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/return-example.rkt") (lib "syntax-spec-v3/scribblings/tutorial/basic-tutorial.scrbl") (lib "syntax-spec-v3/private/runtime/compile.rkt") (lib "syntax-spec-v3/private/ee-lib/main.rkt") (lib "syntax-spec-v3/tests/dsls/cmdline/tests.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/09-example-compiled.rkt") (lib "syntax-spec-v3/tests/dsls/peg/private/runtime.rkt") (lib "syntax-spec-v3/private/syntax/syntax-classes.rkt") (lib "syntax-spec-v3/demos/wg211/1-example.rkt") (lib "syntax-spec-v3/demos/mk-workshop-2024/10-mk-with-check.rkt") (lib "syntax-spec-v3/tests/dsls/peg/test/optimization.rkt") (lib "syntax-spec-v3/tests/basic-langs/expr.rkt") (lib "syntax-spec-v3/demos/minimal-state-machine/state-machine-compiler.rkt") (lib "syntax-spec-v3/tests/dsls/multipass.rkt") (lib "syntax-spec-v3/private/test/rebind-pattern-vars.rkt") (lib "syntax-spec-v3/tests/dsls/baby-peg.rkt") (lib "syntax-spec-v3/tests/dsls/state-machine-for-tutorial.rkt") (lib "syntax-spec-v3/scribblings/reference/main.scrbl") (lib "syntax-spec-v3/demos/minimal-state-machine/state-machine.rkt") (lib "syntax-spec-v3/tests/definition-interface.rkt") (lib "syntax-spec-v3/demos/wg211/3-example-with-binding.rkt") (lib "syntax-spec-v3/tests/dsls/miniclass/class.rkt") (lib "syntax-spec-v3/design/statechart-examples/statecharts-login.rkt") (lib "syntax-spec-v3/scribblings/main.scrbl") (lib "syntax-spec-v3/tests/dsls/cmdline/sugar.rkt"))) (name . "syntax-spec-v3") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-spec-v3.zip") (tags . ()))
Resolved "version-case" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "samth@racket-lang.org dyoo@hashcollision.org") (checksum . "ffc8e3188cf7705fb56f77668412a8e5c3ebfa72") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "Conditional behavior based on the version of Racket") (modules . ((lib "version-case/version-case.scrbl") (lib "version-case/main.rkt") (lib "version-case/version-misc.rkt") (lib "version-case/version-case.rkt") (lib "version-case/test-version-case.rkt") (lib "version-case/private/new-version-case.rkt"))) (name . "version-case") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/version-case.zip") (tags . ()))
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/8.17/pkgs/version-case>
pkg: updating db with "version-case" to '#s((sc-pkg-info pkg-info 3) (catalog "version-case") "ffc8e3188cf7705fb56f77668412a8e5c3ebfa72" #t "version-case")
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/8.17/pkgs/logic-lib>
pkg: updating db with "logic-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "logic-lib") "1265dfc77517921b63661acaf460da48233d3067" #f "logic")
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/8.17/pkgs/automata-lib>
pkg: updating db with "automata-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "automata-lib") "dceef261939406449bb26c6c791d5320ae37b882" #t "automata")
pkg: creating link to #<path:/home/root//user/.local/share/racket/8.17/pkgs/mischief>
pkg: updating db with "mischief" to '#s(pkg-info (catalog "mischief") "7763cdfd1d6a99b6098478c0e5144e892fbf513d" #t)
pkg: creating link to #<path:/home/root//user/.local/share/racket/8.17/pkgs/syntax-classes-lib>
pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "422c9b7c9cb7cbcf4d4da828983a2273a2880788" #t)
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/8.17/pkgs/syntax-spec-v3>
pkg: updating db with "syntax-spec-v3" to '#s((sc-pkg-info pkg-info 3) (catalog "syntax-spec-v3") "f1c57a6f980522af66390a0f105537b930fee94e" #t "syntax-spec-v3")
The following uninstalled packages were listed as dependencies
and they were automatically installed:
 dependencies of logic-lib:
   automata-lib
   mischief
   syntax-classes-lib
   syntax-spec-v3
 dependencies of syntax-spec-v3:
   version-case
raco setup: version: 8.17
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 8.17
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/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/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/8.17/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 ---                    [15:13:55]
raco setup: updating: /home/root/user/.local/share/racket/8.17/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [15:13:55]
raco setup: --- installing foreign libraries ---                   [15:13:55]
raco setup: --- installing shared files ---                        [15:13:55]
raco setup: --- compiling collections ---                          [15:13:55]
raco setup: --- parallel build using 2 jobs ---                    [15:13:55]
raco setup: 1 making: <pkgs>/automata-lib
raco setup: 0 making: <pkgs>/logic-lib (logic)
raco setup: 1 making: <pkgs>/mischief/debug
raco setup: 1 making: <pkgs>/mischief/debug/mischief/lang
raco setup: 1 making: <pkgs>/mischief/debug/racket
raco setup: 1 making: <pkgs>/mischief/debug/racket/base/lang
raco setup: 1 making: <pkgs>/mischief/debug/racket/lang
raco setup: 1 making: <pkgs>/mischief/mischief
raco setup: 0 making: <pkgs>/logic-lib/private/pltl
raco setup: 0 making: <pkgs>/logic-lib/private/qea
raco setup: 0 making: <pkgs>/logic-lib/private/sl
raco setup: 0 making: <pkgs>/mischief/no-debug
raco setup: 0 making: <pkgs>/mischief/no-debug/mischief/lang
raco setup: 0 making: <pkgs>/mischief/no-debug/racket
raco setup: 0 making: <pkgs>/mischief/no-debug/racket/base/lang
raco setup: 0 making: <pkgs>/mischief/no-debug/racket/lang
raco setup: 0 making: <pkgs>/syntax-classes-lib/syntax/parse/class
raco setup: 0 making: <pkgs>/syntax-spec-v3 (syntax-spec-v3)
raco setup: 1 making: <pkgs>/mischief/mischief/lang
raco setup: 1 making: <pkgs>/mischief/mischief/private
raco setup: 1 making: <pkgs>/mischief/mischief/props/lang
raco setup: 1 making: <pkgs>/mischief/mischief/stylish
raco setup: 1 making: <pkgs>/mischief/mischief/tests
raco setup: 0 making: <pkgs>/syntax-spec-v3/private/ee-lib
raco setup: 0 making: <pkgs>/syntax-spec-v3/private/ee-lib/test
raco setup: 0 making: <pkgs>/syntax-spec-v3/private/runtime
raco setup: 0 making: <pkgs>/syntax-spec-v3/private/syntax
raco setup: 0 making: <pkgs>/syntax-spec-v3/private/syntax/compile
raco setup: 0 making: <pkgs>/syntax-spec-v3/private/test
raco setup: 1 making: <pkgs>/version-case (version-case)
raco setup: 0 making: <pkgs>/syntax-spec-v3/scribblings
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests
raco setup: 1 making: <pkgs>/version-case/private
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests/basic-langs
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests/dsls
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests/dsls/peg
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests/dsls/peg/private
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests/dsls/peg/private/test
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests/dsls/peg/test
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests/dsls/state-machine-oo
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests/dsls/statecharts
raco setup: 0 making: <pkgs>/syntax-spec-v3/tests/dsls/typed-peg
raco setup: --- creating launchers ---                             [15:14:08]
raco setup: --- installing man pages ---                           [15:14:08]
raco setup: --- building documentation ---                         [15:14:08]
raco setup: syncing: <pkgs>/mischief/mischief/doc/mischief
raco setup: syncing: <pkgs>/syntax-spec-v3/doc/syntax-spec-v3
raco setup: syncing: <pkgs>/version-case/doc/version-case
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---                         [15:14:13]
raco setup: --- post-installing collections ---                    [15:14:13]
GC: 0:atexit peak 338,742K(+205,473K); alloc 22,501,579K; major 7; minor 1073; 6473ms
The time is now Tuesday, July 1st, 2025 3:14:13pm