The time is now Tuesday, July 1st, 2025 3:16:07pm (/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 trace-contract && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package trace-contract) Resolved "trace-contract" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "4a17ba7fafff63ed69bf091ae495ac6ad85a953d") (dependencies . (("logic-lib") ("automata-lib") ("contract-etc-lib") ("data-lib") ("graph-lib") ("redex-etc") ("redex-lib") ("redex-pict-lib") ("stream-etc") ("base") ("trace-contract-lib") ("rackunit-lib") ("chk-lib") ("racket-doc") ("sandbox-lib") ("scribble-lib"))) (description . "") (modules . ((lib "trace-contract/example/factory-shared.rkt") (lib "trace-contract/example/shared.rkt") (lib "trace-contract/example/free.rkt") (lib "trace-contract/example/nested.rkt") (lib "trace-contract/example/listener.rkt") (lib "trace-contract/example/increment.rkt") (lib "trace-contract/example/bank.rkt") (lib "trace-contract/model/compiler.rkt") (lib "trace-contract/example/indy-ignore.rkt") (lib "trace-contract/example/factory.rkt") (lib "trace-contract/example/suspect.rkt") (lib "trace-contract/test/trace-contract-macro.rkt") (lib "trace-contract/example/util/test.rkt") (lib "trace-contract/test/util.rkt") (lib "trace-contract/test/decl.rkt") (lib "trace-contract/example/monotone.rkt") (lib "trace-contract/model/syntax.rkt") (lib "trace-contract/example/step.rkt") (lib "trace-contract/example/combine.rkt") (lib "trace-contract/example/fold.rkt") (lib "trace-contract/example/merge.rkt") (lib "trace-contract/example/partial-order.rkt") (lib "trace-contract/example/explain.rkt") (lib "trace-contract/example/logic.rkt") (lib "trace-contract/example/global-fold.rkt") (lib "trace-contract/example/bank-oo.rkt") (lib "trace-contract/example/string.rkt") (lib "trace-contract/test/attribute-contract.rkt") (lib "trace-contract/example/reset.rkt") (lib "trace-contract/example/increase.rkt") (lib "trace-contract/example/injective.rkt") (lib "trace-contract/example/lock.rkt") (lib "trace-contract/example/util/red-black-tree.rkt") (lib "trace-contract/example/mutable-key.rkt") (lib "trace-contract/model/semantics.rkt") (lib "trace-contract/example/all.rkt") (lib "trace-contract/example/concurrent.rkt") (lib "trace-contract/example/has-next.rkt") (lib "trace-contract/example/multi-blame.rkt") (lib "trace-contract/example/files.rkt") (lib "trace-contract/example/take5.rkt") (lib "trace-contract/model/test.rkt") (lib "trace-contract/scribblings/trace-contract.scrbl") (lib "trace-contract/example/draw.rkt"))) (name . "trace-contract") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/trace-contract.zip") (tags . ())) 00: Resolved "logic-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "automata-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "contract-etc-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "graph-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "redex-etc" via file:///home/root//catalogs/built/catalog 00: Resolved "stream-etc" via file:///home/root//catalogs/built/catalog 01: Resolved "trace-contract-lib" via file:///home/root//catalogs/built/catalog Resolved "chk-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "19865ae05eadb6d4313c992b69eb7b4a97735dcd") (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/built/pkgs/logic-lib.zip") (tags . ())) 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 . "camoy@ccs.neu.edu") (checksum . "6c9b006635e98d1cab4035604f88a50242b457eb") (dependencies . (("base") ("option-contract-lib") ("rackunit-lib"))) (description . "") (modules . ((lib "contract-etc/main.rkt") (lib "contract-etc/annotate.rkt"))) (name . "contract-etc-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/contract-etc-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "3164604d127d1b623b7f110e2a80bce603df7a6c") (dependencies . (("base" #:version "6.0") ("gen-queue-lib") ("data-lib") ("math-lib"))) (description . "main graph package") (modules . ((lib "graph/graph-fns-spantree.rkt") (lib "graph/graph-property.rkt") (lib "graph/graph-fns-minspantree.rkt") (lib "graph/graph-fns-graphviz.rkt") (lib "graph/graph-fns-coloring.rkt") (lib "graph/graph-fns-maxflow.rkt") (lib "graph/hash-utils.rkt") (lib "graph/graph-matrix.rkt") (lib "graph/graph-fns-basic.rkt") (lib "graph/graph-fns-allpairs-shortestpaths.rkt") (lib "graph/main.rkt") (lib "graph/graph-weighted.rkt") (lib "graph/utils.rkt") (lib "graph/adjlist-utils.rkt") (lib "graph/gen-graph.rkt") (lib "graph/graph-unweighted.rkt") (lib "graph/graph-fns-singlesource-shortestpaths.rkt"))) (name . "graph-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/graph-lib.zip") (tags . ("data" "graph"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "ecd9c0e523ede7bab287fc88993a3e1758049cbb") (dependencies . (("typed-racket-lib") ("latex-utils") ("redex-pict-lib") ("unstable-redex") ("base") ("redex-lib") ("private-in") ("draw-lib") ("pict-lib") ("redex-doc") ("chk-lib") ("racket-doc") ("scribble-lib") ("pict-doc"))) (description . "Miscellanea for Redex.") (modules . ((lib "redex-etc/private/metas.rkt") (lib "redex-etc/main.rkt") (lib "redex-etc/language/private/parameter.rkt") (lib "redex-etc/language/private/render.rkt") (lib "redex-etc/language/lang/reader.rkt") (lib "redex-etc/language/private/util.rkt") (lib "redex-etc/test/common.rkt") (lib "redex-etc/scribblings/redex-etc.scrbl") (lib "redex-etc/language/main.rkt") (lib "redex-etc/language/private/plstx.rkt") (lib "redex-etc/private/macros.rkt") (lib "redex-etc/private/require-typed-primitives.rkt") (lib "redex-etc/private/functions.rkt"))) (name . "redex-etc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/redex-etc.zip") (tags . ("redex"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "99bbc25e2fa044c571279f3d523eb5246a6a3843") (dependencies . (("base") ("chk-lib") ("sandbox-lib") ("threading-doc") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Miscellaneous stream operations.") (modules . ((lib "stream-etc/main.rkt") (lib "stream-etc/scribblings/stream-etc.scrbl"))) (name . "stream-etc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/stream-etc.zip") (tags . ("stream"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "2e69ce795421705adbcf27f6bee2d02d762076af") (dependencies . (("automata-lib") ("meta") ("base") ("ee-lib") ("chk-lib"))) (description . "") (modules . ((lib "trace-contract/private/object-trace.rkt") (lib "trace-contract/private/full-clause.rkt") (lib "trace-contract/main.rkt") (lib "trace-contract/private/subclause.rkt") (lib "trace-contract/private/decl.rkt") (lib "trace-contract/private/attribute-contract.rkt") (lib "trace-contract/private/trace-contract.rkt") (lib "trace-contract/private/track-clause.rkt") (lib "trace-contract/private/util.rkt") (lib "trace-contract/private/fail.rkt") (lib "trace-contract/private/collector-transformer.rkt") (lib "trace-contract/private/collector-contract.rkt") (lib "trace-contract/private/logger.rkt") (lib "trace-contract/private/clause.rkt") (lib "trace-contract/private/trace-contract-macro.rkt") (lib "trace-contract/private/checker.rkt"))) (name . "trace-contract-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/trace-contract-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "554533c4fee06a00d4e91a50416fc40365fb5053") (dependencies . (("testing-util-lib") ("base"))) (description . "a minimal tester") (modules . ((lib "chk/main.rkt"))) (name . "chk-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/chk-lib.zip") (tags . ("testing"))) 01: 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 . "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 . ())) Resolved "gen-queue-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "8a0fad86dddfe57f3416ca68c35475d37bd8ab69") (dependencies . (("base" #:version "6.0") ("data-lib"))) (description . "Generic interface for some queues. Used by graph-lib") (modules . ((lib "data/gen-queue/gen-queue.rkt") (lib "data/gen-queue/priority.rkt") (lib "data/gen-queue.rkt") (lib "data/gen-queue/fifo.rkt"))) (name . "gen-queue-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gen-queue-lib.zip") (tags . ("data" "graph" "queue"))) 01: Resolved "latex-utils" via file:///home/root//catalogs/built/catalog 01: Resolved "unstable-redex" via file:///home/root//catalogs/built/catalog Resolved "private-in" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "matias@fortlogic.net") (checksum . "e80f225c5bbdb425d606bf92461bd30c2e9b06aa") (dependencies . (("base") ("scheme-lib") ("scribble-lib") ("seq-no-order") ("at-exp-lib") ("racket-doc") ("scribble-doc"))) (description . "Some utilities for generating LaTeX markup of various descriptions.") (modules . ((lib "latex-utils/scribblings/utils.scrbl") (lib "latex-utils/scribble/private/syntax.rkt") (lib "latex-utils/scribble/private/math.rkt") (lib "latex-utils/scribble/homework.rkt") (lib "latex-utils/scribble/private/utils.rkt") (lib "latex-utils/scribble.rkt") (lib "latex-utils/scribble/private/theorem.rkt") (lib "latex-utils/scribble/math.rkt") (lib "latex-utils/scribble/references.rkt") (lib "latex-utils/scribble/utils.rkt") (lib "latex-utils/scribble/theorem.rkt") (lib "latex-utils/scribble/private/unmap.rkt") (lib "latex-utils/scribble/unmap.rkt"))) (name . "latex-utils") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/latex-utils.zip") (tags . ("LaTeX" "scribble"))) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "46ebfd30ff0c80fdd2ac6d0a78d54ad4d48840b3") (dependencies . (("base") ("pict-lib") ("redex-lib") ("redex-pict-lib") ("scribble-lib") ("pict-doc") ("redex-doc") ("racket-doc"))) (description . "Experimental libraries for typesetting PLT Redex models") (modules . ((lib "unstable/gui/redex.rkt") (lib "unstable/gui/unstable-redex.scrbl"))) (name . "unstable-redex") (ring . 0) (source . "file:///home/root/catalogs/built/pkgs/unstable-redex.zip") (tags . ("unstable"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "f054f64329abe1f5dc70d3919791cc80446a6e0a") (dependencies . (("base") ("chk-lib") ("rackunit-doc") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Require private bindings.") (modules . ((lib "private-in/test/mod.rkt") (lib "private-in/scribblings/private-in.scrbl") (lib "private-in/main.rkt"))) (name . "private-in") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/private-in.zip") (tags . ("require"))) Resolved "seq-no-order" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "eb3d0a2a202e87094c148da57818b18a30137cc9") (dependencies . (("base" #:version "6.1.1") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "~seq-no-order and ~no-order as pattern-expanders that work with syntax/parse.") (modules . ((lib "seq-no-order/main.rkt") (lib "seq-no-order/groups-no-order.rkt") (lib "seq-no-order/seq-no-order.rkt") (lib "seq-no-order/docs/seq-no-order.scrbl"))) (name . "seq-no-order") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/seq-no-order.zip") (tags . ("syntax-parse"))) Resolved "threading-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "e7f8b02f05366e99054f1a9b0e5b5fafca0f97c1") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("threading-lib" #:version "2.0"))) (description . "documentation (no implementation) for “threading”") (modules . ((lib "scribblings/threading.scrbl"))) (name . "threading-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-doc.zip") (tags . ())) Resolved "threading-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "98cf683b9a3e199221fcb925b183ff8bbfd26d85") (dependencies . (("base" #:version "6.3"))) (description . "implementation (no documentation) for “threading”") (modules . ((lib "threading/main.rkt") (lib "threading/private/extra.rkt") (lib "threading/private/base.rkt") (lib "threading/private/cond.rkt"))) (name . "threading-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-lib.zip") (tags . ())) 01: Resolved "meta" via file:///home/root//catalogs/built/catalog Resolved "ee-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "4c37893549863a3c542f8a441604264ec26778d2") (dependencies . (("base") ("chk-lib") ("racket-doc") ("scribble-lib"))) (description . "Associate metadata with values.") (modules . ((lib "meta/main.rkt") (lib "meta/scribblings/meta.scrbl"))) (name . "meta") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/meta.zip") (tags . ("metadata"))) pkg: catalog response: #hash((author . "michael.ballantyne@gmail.com") (checksum . "7f5859b1cd8430e53bd5949833913af9f27da135") (dependencies . (("base" #:version "8.2.0.7") ("rackunit-lib") ("racket-doc") ("scribble-lib") ("drracket"))) (description . "Utilities for defining embedded macro expanders") (modules . ((lib "ee-lib/test/suspend/suspend-test.rkt") (lib "ee-lib/test/js.rkt") (lib "ee-lib/main.rkt") (lib "ee-lib/define.rkt") (lib "ee-lib/private/lift-trampoline.rkt") (lib "ee-lib/syntax-category.rkt") (lib "ee-lib/private/flip-intro-scope.rkt") (lib "ee-lib/test/splicing.rkt") (lib "ee-lib/private/datum-map.rkt") (lib "ee-lib/persistent-id-table.rkt") (lib "ee-lib/test/same-binding.rkt") (lib "ee-lib/private/binding.rkt") (lib "ee-lib/scribblings/ee-lib.scrbl") (lib "ee-lib/test/jstest.rkt") (lib "ee-lib/test/phone-numbers-ee-lib.rkt") (lib "ee-lib/test/phone-numbers-basic.rkt") (lib "ee-lib/private/lift-disappeareds.rkt") (lib "ee-lib/private/syntax-serializer.rkt") (lib "ee-lib/errors.rkt") (lib "ee-lib/test/suspend/suspend.rkt") (lib "ee-lib/private/syntax-datum.rkt"))) (name . "ee-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/ee-lib.zip") (tags . ())) pkg: creating single-collection link to # pkg: updating db with "meta" to '#s((sc-pkg-info pkg-info 3) (catalog "meta") "4c37893549863a3c542f8a441604264ec26778d2" #t "meta") pkg: creating single-collection link to # pkg: updating db with "ee-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "ee-lib") "7f5859b1cd8430e53bd5949833913af9f27da135" #t "ee-lib") pkg: creating link to # pkg: updating db with "chk-lib" to '#s(pkg-info (catalog "chk-lib") "554533c4fee06a00d4e91a50416fc40365fb5053" #t) pkg: creating single-collection link to # pkg: updating db with "trace-contract" to '#s((sc-pkg-info pkg-info 3) (catalog "trace-contract") "4a17ba7fafff63ed69bf091ae495ac6ad85a953d" #f "trace-contract") pkg: creating single-collection link to # pkg: updating db with "logic-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "logic-lib") "19865ae05eadb6d4313c992b69eb7b4a97735dcd" #t "logic") pkg: creating link to # pkg: updating db with "mischief" to '#s(pkg-info (catalog "mischief") "7763cdfd1d6a99b6098478c0e5144e892fbf513d" #t) pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "422c9b7c9cb7cbcf4d4da828983a2273a2880788" #t) pkg: creating single-collection link to # pkg: updating db with "syntax-spec-v3" to '#s((sc-pkg-info pkg-info 3) (catalog "syntax-spec-v3") "f1c57a6f980522af66390a0f105537b930fee94e" #t "syntax-spec-v3") pkg: creating single-collection link to # 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 # pkg: updating db with "automata-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "automata-lib") "dceef261939406449bb26c6c791d5320ae37b882" #t "automata") pkg: creating single-collection link to # pkg: updating db with "contract-etc-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "contract-etc-lib") "6c9b006635e98d1cab4035604f88a50242b457eb" #t "contract-etc") pkg: creating link to # pkg: updating db with "graph-lib" to '#s(pkg-info (catalog "graph-lib") "3164604d127d1b623b7f110e2a80bce603df7a6c" #t) pkg: creating link to # pkg: updating db with "gen-queue-lib" to '#s(pkg-info (catalog "gen-queue-lib") "8a0fad86dddfe57f3416ca68c35475d37bd8ab69" #t) pkg: creating single-collection link to # pkg: updating db with "redex-etc" to '#s((sc-pkg-info pkg-info 3) (catalog "redex-etc") "ecd9c0e523ede7bab287fc88993a3e1758049cbb" #t "redex-etc") pkg: creating single-collection link to # pkg: updating db with "latex-utils" to '#s((sc-pkg-info pkg-info 3) (catalog "latex-utils") "e80f225c5bbdb425d606bf92461bd30c2e9b06aa" #t "latex-utils") pkg: creating link to # pkg: updating db with "seq-no-order" to '#s(pkg-info (catalog "seq-no-order") "eb3d0a2a202e87094c148da57818b18a30137cc9" #t) pkg: creating single-collection link to # pkg: updating db with "unstable-redex" to '#s((sc-pkg-info pkg-info 3) (catalog "unstable-redex") "46ebfd30ff0c80fdd2ac6d0a78d54ad4d48840b3" #t "unstable") pkg: creating single-collection link to # pkg: updating db with "private-in" to '#s((sc-pkg-info pkg-info 3) (catalog "private-in") "f054f64329abe1f5dc70d3919791cc80446a6e0a" #t "private-in") pkg: creating single-collection link to # pkg: updating db with "stream-etc" to '#s((sc-pkg-info pkg-info 3) (catalog "stream-etc") "99bbc25e2fa044c571279f3d523eb5246a6a3843" #t "stream-etc") pkg: creating link to # pkg: updating db with "threading-doc" to '#s(pkg-info (catalog "threading-doc") "e7f8b02f05366e99054f1a9b0e5b5fafca0f97c1" #t) pkg: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "98cf683b9a3e199221fcb925b183ff8bbfd26d85" #t) pkg: creating single-collection link to # pkg: updating db with "trace-contract-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "trace-contract-lib") "2e69ce795421705adbcf27f6bee2d02d762076af" #t "trace-contract") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of trace-contract: logic-lib automata-lib contract-etc-lib graph-lib redex-etc stream-etc trace-contract-lib chk-lib dependencies of logic-lib: mischief syntax-classes-lib syntax-spec-v3 dependencies of syntax-spec-v3: version-case dependencies of graph-lib: gen-queue-lib dependencies of redex-etc: latex-utils unstable-redex private-in dependencies of latex-utils: seq-no-order dependencies of stream-etc: threading-doc dependencies of threading-doc: threading-lib dependencies of trace-contract-lib: meta ee-lib 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:16:12] raco setup: updating: /home/root/user/.local/share/racket/8.17/share/info-cache.rktd raco setup: --- pre-installing collections --- [15:16:12] raco setup: --- installing foreign libraries --- [15:16:12] raco setup: --- installing shared files --- [15:16:12] raco setup: --- compiling collections --- [15:16:12] raco setup: --- parallel build using 2 jobs --- [15:16:12] raco setup: 1 making: /automata-lib raco setup: 0 making: /chk-lib/chk raco setup: 0 making: /contract-etc-lib raco setup: 1 making: /ee-lib (ee-lib) raco setup: 0 making: /gen-queue-lib/data raco setup: 0 making: /gen-queue-lib/data/gen-queue raco setup: 0 making: /graph-lib/graph raco setup: 1 making: /ee-lib/private raco setup: 1 making: /ee-lib/test raco setup: 1 making: /ee-lib/test/suspend raco setup: 1 making: /latex-utils raco setup: 0 making: /logic-lib (logic) raco setup: 1 making: /latex-utils/scribble raco setup: 1 making: /latex-utils/scribble/private raco setup: 1 making: /meta raco setup: 1 making: /mischief/debug raco setup: 0 making: /logic-lib/private/pltl raco setup: 0 making: /logic-lib/private/qea raco setup: 0 making: /logic-lib/private/sl raco setup: 0 making: /mischief/mischief raco setup: 1 making: /mischief/debug/mischief/lang raco setup: 1 making: /mischief/debug/racket raco setup: 1 making: /mischief/debug/racket/base/lang raco setup: 1 making: /mischief/debug/racket/lang raco setup: 1 making: /mischief/no-debug raco setup: 1 making: /mischief/no-debug/mischief/lang raco setup: 1 making: /mischief/no-debug/racket raco setup: 1 making: /mischief/no-debug/racket/base/lang raco setup: 1 making: /mischief/no-debug/racket/lang raco setup: 1 making: /private-in raco setup: 1 making: /redex-etc raco setup: 0 making: /mischief/mischief/lang raco setup: 0 making: /mischief/mischief/private raco setup: 0 making: /mischief/mischief/props/lang raco setup: 1 making: /redex-etc/language raco setup: 0 making: /mischief/mischief/stylish raco setup: 0 making: /mischief/mischief/tests raco setup: 1 making: /redex-etc/language/lang raco setup: 1 making: /redex-etc/language/private raco setup: 1 making: /redex-etc/private raco setup: 1 making: /seq-no-order/seq-no-order raco setup: 1 making: /stream-etc raco setup: 1 making: /syntax-classes-lib/syntax/parse/class raco setup: 1 making: /syntax-spec-v3 (syntax-spec-v3) raco setup: 0 making: /threading-doc/scribblings raco setup: 0 making: /threading-lib/threading raco setup: 0 making: /threading-lib/threading/private raco setup: 0 making: /trace-contract (trace-contract) raco setup: 1 making: /syntax-spec-v3/private/ee-lib raco setup: 1 making: /syntax-spec-v3/private/ee-lib/test raco setup: 1 making: /syntax-spec-v3/private/runtime raco setup: 1 making: /syntax-spec-v3/private/syntax raco setup: 1 making: /syntax-spec-v3/private/syntax/compile raco setup: 1 making: /syntax-spec-v3/private/test raco setup: 1 making: /syntax-spec-v3/scribblings raco setup: 1 making: /syntax-spec-v3/tests raco setup: 0 making: /trace-contract/example raco setup: 1 making: /syntax-spec-v3/tests/basic-langs raco setup: 1 making: /syntax-spec-v3/tests/dsls raco setup: 0 making: /trace-contract/example/util raco setup: 0 making: /trace-contract/model raco setup: 1 making: /syntax-spec-v3/tests/dsls/cmdline raco setup: 0 making: /trace-contract/test raco setup: 1 making: /syntax-spec-v3/tests/dsls/js raco setup: 0 making: /trace-contract-lib (trace-contract) raco setup: 0 making: /trace-contract-lib/private raco setup: 0 making: /unstable-redex raco setup: 1 making: /syntax-spec-v3/tests/dsls/matthews-findler raco setup: 0 making: /unstable-redex/gui raco setup: 0 making: /version-case (version-case) raco setup: 0 making: /version-case/private raco setup: 1 making: /syntax-spec-v3/tests/dsls/miniclass raco setup: 1 making: /syntax-spec-v3/tests/dsls/minikanren-rs2e raco setup: 1 making: /syntax-spec-v3/tests/dsls/state-machine-oo raco setup: 1 making: /syntax-spec-v3/tests/dsls/stlc-lang raco setup: 1 making: /syntax-spec-v3/tests/dsls/tiny-hdl raco setup: 1 making: /syntax-spec-v3/tests/dsls/typed-peg/private raco setup: --- creating launchers --- [15:16:32] raco setup: --- installing man pages --- [15:16:32] raco setup: --- building documentation --- [15:16:32] raco setup: syncing: /ee-lib/doc/ee-lib raco setup: syncing: /meta/doc/meta raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /private-in/doc/private-in raco setup: syncing: /redex-etc/doc/redex-etc raco setup: syncing: /seq-no-order/seq-no-order/doc/seq-no-order raco setup: syncing: /stream-etc/doc/stream-etc raco setup: syncing: /syntax-spec-v3/doc/syntax-spec-v3 raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: syncing: /trace-contract/doc/trace-contract raco setup: syncing: /unstable-redex/doc/unstable-redex raco setup: syncing: /latex-utils/doc/utils raco setup: syncing: /version-case/doc/version-case 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: 0 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: 1 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [15:16:39] raco setup: --- post-installing collections --- [15:16:39] GC: 0:atexit peak 294,621K(+129,226K); alloc 30,154,035K; major 7; minor 1442; 8385ms raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/all.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/bank-oo.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/bank.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/combine.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/concurrent.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/draw.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/explain.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/factory-shared.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/factory.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/files.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/fold.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/free.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/global-fold.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/has-next.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/increase.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/increment.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/indy-ignore.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/injective.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/listener.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/lock.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/logic.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/merge.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/monotone.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/multi-blame.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/mutable-key.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/nested.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/partial-order.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/reset.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/shared.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/step.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/string.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/suspect.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/take5.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/util/red-black-tree.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/util/test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/info.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/model/compiler.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/model/semantics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/model/syntax.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/model/test.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/scribblings/trace-contract.scrbl") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/test/attribute-contract.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/test/decl.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/test/trace-contract-macro.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/trace-contract/test/util.rkt") test) 78 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/util/red-black-tree.rkt 59 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/model/test.rkt 16 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/monotone.rkt 14 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/partial-order.rkt 11 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/files.rkt 11 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/listener.rkt 11 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/reset.rkt 10 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/has-next.rkt 10 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/test/trace-contract-macro.rkt 9 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/free.rkt 9 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/injective.rkt 9 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/test/attribute-contract.rkt 5 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/bank-oo.rkt 5 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/bank.rkt 5 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/logic.rkt 5 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/shared.rkt 4 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/all.rkt 4 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/combine.rkt 4 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/factory.rkt 4 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/suspect.rkt 4 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/take5.rkt 4 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/test/util.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/factory-shared.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/fold.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/global-fold.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/increase.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/increment.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/lock.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/multi-blame.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/mutable-key.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/nested.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/string.rkt 2 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/explain.rkt 2 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/merge.rkt 2 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/step.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/concurrent.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/indy-ignore.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/test/decl.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/draw.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/example/util/test.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/info.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/model/compiler.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/model/semantics.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/model/syntax.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/trace-contract/scribblings/trace-contract.scrbl 330 tests passed GC: 0:atexit peak 98,957K(+35,690K); alloc 435,143K; major 1; minor 51; 189ms The time is now Tuesday, July 1st, 2025 3:17:33pm