The time is now Monday, May 8th, 2023 10:57:52pm (/usr/bin/env DISPLAY=:1 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 4 -u --auto forge froglet && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 4 --drdr --package forge froglet) 00: Resolved "forge" via file:///home/root//catalogs/built/catalog Resolved "froglet" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "tim_nelson@brown.edu") (checksum . "9a7d88e883c9a0083f375528471836fa719a1336") (dependencies . (("base") ("froglet") ("syntax-classes") ("br-parser-tools-lib") ("brag-lib") ("beautiful-racket") ("syntax-color-lib") ("net-lib") ("profile-lib") ("crypto-lib") ("rackunit-lib") ("web-server-lib") ("draw-lib") ("mischief") ("gui-lib") ("drracket-plugin-lib") ("pretty-format") ("predicates") ("basedir") ("request") ("sha"))) (description . "A model-finding language with Alloy-adjacent syntax.") (modules . ((lib "forge/tests/forge/electrum/eventually-tests.rkt") (lib "forge/example/forge-core/import1.rkt") (lib "forge/tests/forge/other/instances.rkt") (lib "forge/amalgam/desugar/desugar_helpers.rkt") (lib "forge/core/main.rkt") (lib "forge/tests/forge/target/far_retargeting.rkt") (lib "forge/tests/forge/electrum/example-light-puzzle.rkt") (lib "forge/lang/alloy-syntax/indenter.rkt") (lib "forge/examples/checkXSpecTests.rkt") (lib "forge/examples/token_test.rkt") (lib "forge/testme/examples/sample-student/student-sample-surface.rkt") (lib "forge/amalgam/tests/substitutor_test.rkt") (lib "forge/tests/forge-functional/ints/intComparators.rkt") (lib "forge/tests/forge-core/instances/atoms.rkt") (lib "forge/server/eval-model.rkt") (lib "forge/lang/lang-specific-checks.rkt") (lib "forge/racket-rfc6455/net/rfc6455/server.rkt") (lib "forge/example/new-mode/new-mode-core.rkt") (lib "forge/examples/undirectedtree.rkt") (lib "forge/tests/forge-core/formulas/booleanFormulaOperators.rkt") (lib "forge/pardinus-cli/server/kkcli-reader.rkt") (lib "forge/lang/alloy-syntax/syntax-class.rkt") (lib "forge/logging/check-ex-spec/main.rkt") (lib "forge/examples/join-lhs-core.rkt") (lib "forge/examples/address2.rkt") (lib "forge/tests/forge-core/other/override-core.rkt") (lib "forge/examples/goatswolves3.rkt") (lib "forge/check-ex-spec/main.rkt") (lib "forge/testme/examples/sample-student/student-sample-core.rkt") (lib "forge/tests/forge-core/other/multiple-runs.rkt") (lib "forge/example/forge/simple-graph.rkt") (lib "forge/racket-rfc6455/net/rfc6455/conn-api.rkt") (lib "forge/examples/address.rkt") (lib "forge/tests/forge/relations/breakers.rkt") (lib "forge/examples/soundBreakTests2.rkt") (lib "forge/tests/forge/relations/lone.rkt") (lib "forge/example/store/edge-size-bug-forge.rkt") (lib "forge/tests/forge/other/decl-order.rkt") (lib "forge/lang/alloy-syntax/parser.rkt") (lib "forge/amalgam/userStudies/test-model2.rkt") (lib "forge/tests/forge-functional/instances/eval-expr-match.rkt") (lib "forge/examples/booleanLogic.rkt") (lib "forge/tests/forge-functional/sigs/abstractSigs.rkt") (lib "forge/kodkod-cli/server/kkcli-trace.rkt") (lib "forge/tests/forge-core/expressions/setComprehensions.rkt") (lib "forge/tests/forge/examples/sudoku.rkt") (lib "forge/tests/forge-core/ints/intOperators.rkt") (lib "forge/tests/evaluator.rkt") (lib "forge/examples/bindTests.rkt") (lib "forge/server/modelToXML.rkt") (lib "forge/tests/forge/electrum/after-tests.rkt") (lib "forge/tests/forge-core/sigs/extendingSigs.rkt") (lib "forge/racket-rfc6455/net/rfc6455/service-mapper.rkt") (lib "forge/testme/library/commands.rkt") (lib "forge/lazy-tree.rkt") (lib "forge/tests/forge/relations/set.rkt") (lib "forge/racket-rfc6455/net/rfc6455/dispatcher.rkt") (lib "forge/racket-rfc6455/net/rfc6455/http.rkt") (lib "forge/examples/blah.rkt") (lib "forge/tests/forge/relations/one.rkt") (lib "forge/testme/lang/expander.rkt") (lib "forge/new-mode/library/commands.rkt") (lib "forge/check-ex-spec/examples/sample-ta/sample/chaffs/sample-chaff1.rkt") (lib "forge/send-to-kodkod.rkt") (lib "forge/new-mode/library/public-utilities.rkt") (lib "forge/bsl/lang/reader.rkt") (lib "forge/examples/sudoku.rkt") (lib "forge/examples/state-machine-inst.rkt") (lib "forge/examples/abc.rkt") (lib "forge/amalgam.rkt") (lib "forge/tests/forge-core/other/bounds-optimization.rkt") (lib "forge/tests/forge-functional/ints/intConverters.rkt") (lib "forge/example/forge-core/ints.rkt") (lib "forge/racket-rfc6455/net/rfc6455/url.rkt") (lib "forge/examples/address_parsed.rkt") (lib "forge/example/forge/instances.rkt") (lib "forge/example/forge/check.rkt") (lib "forge/core/lang/reader.rkt") (lib "forge/pardinus-cli/server/kkcli-expander.rkt") (lib "forge/kodkod-cli/server/intTests2.rkt") (lib "forge/examples/example.rkt") (lib "forge/tests/forge-core/sigs/basicSigs.rkt") (lib "forge/tests/forge/target/close_retargeting.rkt") (lib "forge/tests/forge-functional/electrum/non-temporal-var-errors.rkt") (lib "forge/logging/sigs.rkt") (lib "forge/tests/forge-functional/formulas/quantifiedFormulas.rkt") (lib "forge/examples/test0.rkt") (lib "forge/check-ex-spec/examples/sample-student/student-sample-core.rkt") (lib "forge/tests/forge-functional/instances/eval-int-match.rkt") (lib "forge/example/store/edge-size-bug.rkt") (lib "forge/racket-rfc6455/net/rfc6455/examples/time-server.rkt") (lib "forge/new-mode/core/lang/reader.rkt") (lib "forge/examples/soundBreakTests.rkt") (lib "forge/check-ex-spec/lang/expander.rkt") (lib "forge/example/store/meeting-bug.rkt") (lib "forge/tests/forge-core/formulas/disj-some-core.rkt") (lib "forge/tests/forge-core/formulas/disj-lone-core.rkt") (lib "forge/tests/forge/ints/intComparators.rkt") (lib "forge/tests/forge/formulas/setFormulaOperators.rkt") (lib "forge/example/store/quant-bug2.rkt") (lib "forge/tests/forge-functional/other/ast-nodes.rkt") (lib "forge/check-ex-spec/core/lang/reader.rkt") (lib "forge/example/forge/graphs.rkt") (lib "forge/kodkod-cli/server/kkcli-expander.rkt") (lib "forge/tests/forge/electrum/non-var-can-stop-var-changes.rkt") (lib "forge/amalgam/userStudies/mturk_spec.rkt") (lib "forge/choose-lang-specific.rkt") (lib "forge/tests/forge-core/formulas/quantifiedFormulas.rkt") (lib "forge/example/store/with-command/make-c-sig.rkt") (lib "forge/example/store/with-command/make-b-sig.rkt") (lib "forge/example/store/meeting-test.rkt") (lib "forge/tests/forge-functional/electrum/temporal-next.rkt") (lib "forge/tests/forge/electrum/always-tests.rkt") (lib "forge/amalgam/tests/test_helpers.rkt") (lib "forge/tests/forge-core/ints/intConverters.rkt") (lib "forge/example/forge-core/transition-system.rkt") (lib "forge/example/forge-core/testing-merge.rkt") (lib "forge/check-ex-spec/lang/reader.rkt") (lib "forge/tests/forge/other/properties_undirected_tree.rkt") (lib "forge/amalgam/desugar/tuple2Expr.rkt") (lib "forge/test4.rkt") (lib "forge/new-mode/library/private-utilities.rkt") (lib "forge/example/store/forge-core-importing.rkt") (lib "forge/amalgam/tests/forge_ex_test.rkt") (lib "forge/tests/forge/target/hamming_runs.rkt") (lib "forge/new-mode/lang/reader.rkt") (lib "forge/tests/forge/formulas/booleanFormulaOperators.rkt") (lib "forge/tests/forge-core/formulas/disj-one-core.rkt") (lib "forge/kodkod-cli/server/kkcli-reader.rkt") (lib "forge/check-ex-spec/examples/sample-ta/sample/chaffs/sample-chaff2.rkt") (lib "forge/example/forge-core/shutdown.rkt") (lib "forge/check-ex-spec/demo/demo-suite.rkt") (lib "forge/tests/forge/expressions/orderOfOpsLogical.rkt") (lib "forge/check-ex-spec/core/main.rkt") (lib "forge/lang/reader.rkt") (lib "forge/tests/forge/formulas/quantifiedFormulas.rkt") (lib "forge/example/forge-core/multiple-import.rkt") (lib "forge/tests/forge/sigs/loneSigs.rkt") (lib "forge/examples/traceComparison.rkt") (lib "forge/lang/alloy-syntax/tokenizer.rkt") (lib "forge/amalgam/tests/desugar_helpers_test.rkt") (lib "forge/tests/forge-functional/other/multiple-runs.rkt") (lib "forge/tests/forge-core/formulas/disj-all-core.rkt") (lib "forge/check-ex-spec/examples/ta-template/summarize.rkt") (lib "forge/example/store/forge-core-file.rkt") (lib "forge/racket-rfc6455/net/rfc6455/rfc6455/handshake.rkt") (lib "forge/tests/forge/sigs/extendingSigs.rkt") (lib "forge/lang/alloy-syntax/colorer.rkt") (lib "forge/racket-rfc6455/net/rfc6455/examples/client.rkt") (lib "forge/kodkod-cli/server/error-tests.rkt") (lib "forge/tests/forge/expressions/orderOfOpsLogical2.rkt") (lib "forge/tests/forge-functional/instances/atoms.rkt") (lib "forge/racket-rfc6455/net/rfc6455/rfc6455/dispatcher.rkt") (lib "forge/example/forge/transition-system.rkt") (lib "forge/tests/forge-core/instances/basic-instances.rkt") (lib "forge/example/store/tainting/tainting.rkt") (lib "forge/amalgam/tests/forge_ex2.rkt") (lib "forge/amalgam/userStudies/un-commentedKittyBacon.rkt") (lib "forge/new-mode/examples/basic-example-surface.rkt") (lib "forge/examples/errors/error-test-paren.rkt") (lib "forge/examples/undirected_tree_syntax.rkt") (lib "forge/tests/forge-core/electrum/trace-length-errors.rkt") (lib "forge/tests/forge-functional/ints/intOperators.rkt") (lib "forge/tests/forge-functional/formulas/booleanFormulaOperators.rkt") (lib "forge/testme/examples/sample-ta/sample/chaffs/sample-chaff2.rkt") (lib "forge/tests/forge-core/sigs/abstractSigs.rkt") (lib "forge/example/forge/tristan-bug.rkt") (lib "forge/example/store/with-command/local-import.rkt") (lib "forge/example/forge-core/basic-relation.rkt") (lib "forge/translate-to-kodkod-cli.rkt") (lib "forge/check-ex-spec/library/commands.rkt") (lib "forge/testme/examples/sample-ta/sample/wheats/sample-wheat.rkt") (lib "forge/examples/simpleTrace.rkt") (lib "forge/sigs-structs.rkt") (lib "forge/testme/library/download-file.rkt") (lib "forge/tests/forge-core/other/emptyJoinError.rkt") (lib "forge/examples/property-where/undirected_tree_properties.rkt") (lib "forge/example/forge-core/import2.rkt") (lib "forge/racket-rfc6455/net/rfc6455/examples/time-client-with-threads.rkt") (lib "forge/bsl/main.rkt") (lib "forge/tests/forge-core/examples/testing.rkt") (lib "forge/examples/ADTtrace.rkt") (lib "forge/tests/forge-core/electrum/non-temporal-next.rkt") (lib "forge/example/forge-core/contrasting.rkt") (lib "forge/tests/forge/other/univIdenRTC.rkt") (lib "forge/tests/forge-functional/examples/testing.rkt") (lib "forge/examples/test.rkt") (lib "forge/new-mode/examples/basic-example-core.rkt") (lib "forge/racket-rfc6455/net/rfc6455/hybi00/handshake.rkt") (lib "forge/kodkod-cli/server/kks.rkt") (lib "forge/example/store/minimal-quant-bug.rkt") (lib "forge/examples/errors/error-test-ast.rkt") (lib "forge/tests/forge-core/ints/intStructure.rkt") (lib "forge/racket-rfc6455/net/rfc6455/rfc6455/conn.rkt") (lib "forge/tests/forge-core/sigs/oneSigs.rkt") (lib "forge/tests/forge/formulas/multiplicityFormulas.rkt") (lib "forge/tests/forge/expressions/expressionOperators.rkt") (lib "forge/lang/alloy-syntax/lexer.rkt") (lib "forge/examples/Untitled.rkt") (lib "forge/example/forge/coercing-ints.rkt") (lib "forge/examples/intTests.rkt") (lib "forge/tests/forge-functional/formulas/multiplicityFormulas.rkt") (lib "forge/tests/error/import-invalid-example.rkt") (lib "forge/examples/graph.rkt") (lib "forge/kodkod-cli/server/server-common.rkt") (lib "forge/examples/namedAtoms.rkt") (lib "forge/examples/soundBreakTests3.rkt") (lib "forge/amalgam/userStudies/test.rkt") (lib "forge/amalgam/tests/desugar_test.rkt") (lib "forge/testme/library.rkt") (lib "forge/testme/main.rkt") (lib "forge/racket-rfc6455/net/rfc6455/examples/echo-server.rkt") (lib "forge/examples/hopsBetweenCities.rkt") (lib "forge/tests/forge/sigs/abstractSigs.rkt") (lib "forge/examples/traceSyntax.rkt") (lib "forge/kodkod-cli/server/server.rkt") (lib "forge/amalgam/desugar/desugar.rkt") (lib "forge/example/forge-core/graphs.rkt") (lib "forge/pardinus-cli/server/server.rkt") (lib "forge/example/store/testing2.rkt") (lib "forge/examples/dir/file.rkt") (lib "forge/example/forge/basic.rkt") (lib "forge/pardinus-cli/server/error-tests.rkt") (lib "forge/lang/expander.rkt") (lib "forge/lang/ast.rkt") (lib "forge/evaluator.rkt") (lib "forge/amalgam/tests/lift-bounds_helpers_tests.rkt") (lib "forge/tests/forge-functional/expressions/expressionOperators.rkt") (lib "forge/example/forge-core/relation-breakers.rkt") (lib "forge/racket-rfc6455/net/rfc6455/hybi00/conn.rkt") (lib "forge/tests/forge-functional/sigs/extendingSigs.rkt") (lib "forge/pardinus-cli/server/kkcli-trace.rkt") (lib "forge/logging/2023/main.rkt") (lib "forge/server/forgeserver.rkt") (lib "forge/example/forge-core/pardinus2.rkt") (lib "forge/example/forge-core/testing-test.rkt") (lib "forge/testme/examples/ta-template/summarize.rkt") (lib "forge/examples/address2_parsed.rkt") (lib "forge/drracket-link.rkt") (lib "forge/tests/forge/expressions/orderOfOpsExprs.rkt") (lib "forge/tests/forge-functional/ints/intStructure.rkt") (lib "forge/example/forge/unbound-identifier-bug.rkt") (lib "forge/tests/forge/sigs/basicSigs.rkt") (lib "forge/main.rkt") (lib "forge/pardinus-cli/server/intTests2.rkt") (lib "forge/tests/forge/electrum/cities.rkt") (lib "forge/tests/forge-functional/expressions/ifte-performance.rkt") (lib "forge/tests/forge/ints/intOperators.rkt") (lib "forge/examples/higherOrderHack.rkt") (lib "forge/demo/life.rkt") (lib "forge/testme/core/lang/reader.rkt") (lib "forge/tests/forge-core/other/multiple-temporal-runs.rkt") (lib "forge/lang/alloy-syntax/main.rkt") (lib "forge/example/forge-core/extending-ints.rkt") (lib "forge/amalgam/substitutor/substitutor.rkt") (lib "forge/tests/forge-core/other/ast-nodes.rkt") (lib "forge/examples/traceBreak.rkt") (lib "forge/racket-rfc6455/net/rfc6455/hybi00/dispatcher.rkt") (lib "forge/example/forge-core/partial-instance.rkt") (lib "forge/example/store/testing.rkt") (lib "forge/tests/forge-functional/examples/spanning-tree.rkt") (lib "forge/check-ex-spec/examples/sample-student/student-sample-surface.rkt") (lib "forge/logging/logging.rkt") (lib "forge/sigs-functional.rkt") (lib "forge/tests/forge/ints/intStructure.rkt") (lib "forge/last-checker.rkt") (lib "forge/tests/forge-core/formulas/multiplicityFormulas.rkt") (lib "forge/translate-from-kodkod-cli.rkt") (lib "forge/testme/lang/reader.rkt") (lib "forge/tests/forge-core/ints/intComparators.rkt") (lib "forge/example/store/quant-bug.rkt") (lib "forge/tests/forge-core/formulas/disj-no-core.rkt") (lib "forge/tests/forge/electrum/social-network.rkt") (lib "forge/tests/forge-functional/sigs/oneSigs.rkt") (lib "forge/new-mode/core/main.rkt") (lib "forge/example/store/tainting/some-defs.rkt") (lib "forge/examples/simplest.rkt") (lib "forge/example/forge-core/info-maps.rkt") (lib "forge/example/store/old-forge.rkt") (lib "forge/check-ex-spec/library/download-file.rkt") (lib "forge/tests/forge/expressions/setComprehensions.rkt") (lib "forge/tests/forge-functional/sigs/basicSigs.rkt") (lib "forge/pardinus-cli/server/server-common.rkt") (lib "forge/example/forge-core/read-from-file.rkt") (lib "forge/examples/kittybacon.rkt") (lib "forge/amalgam/lift-bounds/lift-bounds.rkt") (lib "forge/example/forge-core/setting-solver.rkt") (lib "forge/racket-rfc6455/net/rfc6455/private/connection-manager.rkt") (lib "forge/drracket-gui.rkt") (lib "forge/racket-rfc6455/net/rfc6455/rfc6455/frame.rkt") (lib "forge/examples/variadicBreakTests.rkt") (lib "forge/tests/forge/electrum/always-true.rkt") (lib "forge/tests/forge/electrum/var-can-force-var-changes.rkt") (lib "forge/amalgam/userStudies/KittyBacon.rkt") (lib "forge/tests/forge-core/expressions/expressionOperators.rkt") (lib "forge/examples/intTests2.rkt") (lib "forge/example/forge/basic-core.rkt") (lib "forge/amalgam/tests/amalgam_tests.rkt") (lib "forge/amalgam/tests/lift-bounds_test.rkt") (lib "forge/tool.rkt") (lib "forge/tests/forge/electrum/traffic-light.rkt") (lib "forge/tests/forge/target/close_fixed.rkt") (lib "forge/decode-wheat-lang/util.rkt") (lib "forge/example/new-mode/new-mode-fancy.rkt") (lib "forge/testme/core/main.rkt") (lib "forge/tests/forge-core/electrum/non-temporal-var-errors.rkt") (lib "forge/check-ex-spec/library.rkt") (lib "forge/tests/forge/ints/intConverters.rkt") (lib "forge/example/store/forge-file.rkt") (lib "forge/shared.rkt") (lib "forge/testme/examples/sample-ta/sample/chaffs/sample-chaff1.rkt") (lib "forge/examples/crypto.rkt") (lib "forge/examples/test1.rkt") (lib "forge/racket-rfc6455/net/rfc6455/examples/test-server.rkt") (lib "forge/examples/tttnew.rkt") (lib "forge/logging/2022/main.rkt") (lib "forge/examples/simpleTrace2.rkt") (lib "forge/tests/forge-functional/instances/breakers.rkt") (lib "forge/tests/forge/electrum/var-vs-non-var-rels.rkt") (lib "forge/tests/forge-core/expressions/ifte-performance.rkt") (lib "forge/tests/forge-functional/instances/basic-instances.rkt") (lib "forge/example/forge/importing.rkt") (lib "forge/example/store/new-bug2.rkt") (lib "forge/tests/forge/examples/booleanLogic.rkt") (lib "forge/decode-wheat-lang/lang/reader.rkt") (lib "forge/examples/internal/highlighting-experiment.rkt") (lib "forge/tests/forge-functional/formulas/setFormulaOperators.rkt") (lib "forge/examples/fancyBoundsTests.rkt") (lib "forge/example/forge-core/pardinus.rkt") (lib "forge/examples/test2.rkt") (lib "forge/examples/simplerTrace.rkt") (lib "forge/examples/tttboards.rkt") (lib "forge/examples/smallsigstest.rkt") (lib "forge/tests/forge-functional/electrum/non-temporal-next.rkt") (lib "forge/pardinus-cli/server/kks.rkt") (lib "forge/racket-rfc6455/net/rfc6455/examples/test-service-mapper.rkt") (lib "forge/tests/forge/electrum/basic-temporal-example.rkt") (lib "forge/tests/error/main.rkt") (lib "forge/tests/forge-core/electrum/temporal-next.rkt") (lib "forge/new-mode/library.rkt") (lib "forge/amalgam/tests/forge_ex.rkt") (lib "forge/example/store/new-bug.rkt") (lib "forge/examples/errors/error-test-forge.rkt") (lib "forge/example/store/scripting-preds.rkt") (lib "forge/kodkod-cli/server/kkcli-test.rkt") (lib "forge/tests/forge-functional/other/emptyJoinError.rkt") (lib "forge/example/forge-core/evaluating.rkt") (lib "forge/racket-rfc6455/net/rfc6455/examples/cat.rkt") (lib "forge/racket-rfc6455/net/rfc6455/rfc6455/client.rkt") (lib "forge/racket-rfc6455/net/rfc6455/hybi00/client.rkt") (lib "forge/racket-rfc6455/net/rfc6455.rkt") (lib "forge/decode-wheat-lang/encode-wheat.rkt") (lib "forge/example/forge-core/importing.rkt") (lib "forge/tests/forge/sigs/givenBounds.rkt") (lib "forge/check-ex-spec/examples/sample-ta/sample/wheats/sample-wheat.rkt") (lib "forge/tests/forge/electrum/past-time.rkt") (lib "forge/new-mode/main.rkt") (lib "forge/tests/forge/sigs/oneSigs.rkt") (lib "forge/examples/join-lhs.rkt") (lib "forge/tests/forge-core/electrum/temporal-next-PvsC.rkt") (lib "forge/example/forge-core/small.rkt") (lib "forge/amalgam/lift-bounds/lift-bounds_helpers.rkt") (lib "forge/tests/forge-core/formulas/setFormulaOperators.rkt") (lib "forge/lang/bounds.rkt") (lib "forge/racket-rfc6455/net/rfc6455/client.rkt") (lib "forge/breaks.rkt") (lib "forge/racket-rfc6455/net/rfc6455/timeout.rkt") (lib "forge/pardinus-cli/server/kkcli-test.rkt") (lib "forge/tests/forge-functional/expressions/setComprehensions.rkt") (lib "forge/tests/forge-functional/electrum/temporal-next-PvsC.rkt") (lib "forge/tests/forge/target/far_fixed.rkt") (lib "forge/tests/forge-functional/electrum/trace-length-errors.rkt") (lib "forge/examples/life.rkt") (lib "forge/bsl/lang/bsl-lang-specific-checks.rkt") (lib "forge/tests/forge/electrum/var-vs-non-var-sigs.rkt") (lib "forge/examples/eval-thing.rkt") (lib "forge/new-mode/lang/expander.rkt") (lib "forge/examples/goatswolves2.rkt") (lib "forge/racket-rfc6455/net/rfc6455/examples/time-client-with-sync.rkt") (lib "forge/sigs.rkt") (lib "forge/examples/circular.rkt"))) (name . "forge") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/forge.zip") (tags . ("alloy" "education" "logic" "modeling" "relational"))) pkg: catalog response: #hash((author . "tim_nelson@brown.edu types@ccs.neu.edu") (checksum . "98af845bc31668d76d6e7121791ba2634cf698a5") (dependencies . (("base") ("rackunit-lib") ("forge"))) (description . "A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.") (modules . ((lib "froglet/util.rkt") (lib "froglet/typecheck/error.rkt") (lib "froglet/lang/reader.rkt") (lib "froglet/main.rkt") (lib "froglet/typecheck/struct.rkt") (lib "froglet/typecheck/main.rkt"))) (name . "froglet") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/froglet.zip") (tags . ("alloy" "education" "logic" "modeling" "relational" "teaching"))) 00: Resolved "syntax-classes" via file:///home/root//catalogs/built/catalog 00: Resolved "br-parser-tools-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "brag-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "beautiful-racket" via file:///home/root//catalogs/built/catalog 00: Resolved "crypto-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "mischief" via file:///home/root//catalogs/built/catalog 01: Resolved "pretty-format" via file:///home/root//catalogs/built/catalog 01: Resolved "predicates" via file:///home/root//catalogs/built/catalog 00: Resolved "basedir" via file:///home/root//catalogs/built/catalog 00: Resolved "request" via file:///home/root//catalogs/built/catalog Resolved "sha" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "48c1baa6141b3b2e07dadfae996b7d405fe90425") (dependencies . (("base") ("syntax-classes-lib") ("syntax-classes-doc"))) (description . "Additional useful syntax classes for use with syntax/parse") (modules . ()) (name . "syntax-classes") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "e074990b36c87d226e13cb36a0ad6c4f3858daba") (dependencies . (("scheme-lib") ("base") ("compatibility-lib") ("rackunit-lib"))) (description . "fork of `parser-tools-lib` for Beautiful Racket") (modules . ((lib "br-parser-tools/private-yacc/graph.rkt") (lib "br-parser-tools/private-yacc/lalr.rkt") (lib "br-parser-tools/private-lex/token-syntax.rkt") (lib "br-parser-tools/private-lex/stx.rkt") (lib "br-parser-tools/private-lex/deriv.rkt") (lib "br-parser-tools/private-yacc/parser-builder.rkt") (lib "br-parser-tools/yacc-to-scheme.rkt") (lib "br-parser-tools/lex.rkt") (lib "br-parser-tools/private-lex/error-tests.rkt") (lib "br-parser-tools/cfg-parser.rkt") (lib "br-parser-tools/private-lex/token.rkt") (lib "br-parser-tools/private-lex/actions.rkt") (lib "br-parser-tools/examples/read.rkt") (lib "br-parser-tools/private-yacc/yacc-helper.rkt") (lib "br-parser-tools/yacc.rkt") (lib "br-parser-tools/private-lex/front.rkt") (lib "br-parser-tools/private-yacc/grammar.rkt") (lib "br-parser-tools/examples/calc.rkt") (lib "br-parser-tools/private-lex/util.rkt") (lib "br-parser-tools/lex-plt-v200.rkt") (lib "br-parser-tools/lex-sre.rkt") (lib "br-parser-tools/private-yacc/lr0.rkt") (lib "br-parser-tools/private-lex/re.rkt") (lib "br-parser-tools/private-yacc/input-file-parser.rkt") (lib "br-parser-tools/private-lex/unicode-chars.rkt") (lib "br-parser-tools/private-yacc/parser-actions.rkt") (lib "br-parser-tools/private-yacc/table.rkt"))) (name . "br-parser-tools-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/br-parser-tools-lib.zip") (tags . ("beautiful-racket"))) pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "23013d4aa4b7012cea9ec433db091abe89c64674") (dependencies . (("base" #:version "6.3") ("br-parser-tools-lib") ("rackunit-lib") ("syntax-color-lib"))) (description . "") (modules . ((lib "brag/test/test-start-and-atok.rkt") (lib "brag/test/test-parser.rkt") (lib "brag/private/internal-support.rkt") (lib "brag/examples/simple-line-drawing/lexer.rkt") (lib "brag/rules/rule-structs.rkt") (lib "brag/examples/simple-line-drawing/grammar.rkt") (lib "brag/test/test-cutter.rkt") (lib "brag/test/test-weird-grammar.rkt") (lib "brag/codegen/satisfaction.rkt") (lib "brag/codegen/reader.rkt") (lib "brag/test/test-lexer.rkt") (lib "brag/examples/simple-line-drawing/interpret.rkt") (lib "brag/test/test-baby-json.rkt") (lib "brag/examples/start-and-atok.rkt") (lib "brag/test/test-0n1.rkt") (lib "brag/examples/simple-line-drawing/lang/reader.rkt") (lib "brag/test/test-make-rule-parser.rkt") (lib "brag/examples/top-level-cut-1.rkt") (lib "brag/examples/baby-json-alt2.rkt") (lib "brag/test/test-hide-and-splice.rkt") (lib "brag/rules/stx-types.rkt") (lib "brag/examples/simple-line-drawing/examples/letter-i.rkt") (lib "brag/private/indenter.rkt") (lib "brag/examples/baby-json-hider.rkt") (lib "brag/test/test-empty-symbol.rkt") (lib "brag/examples/codepoints.rkt") (lib "brag/test/test-old-token.rkt") (lib "brag/examples/quotation-marks-and-backslashes.rkt") (lib "brag/examples/cutter.rkt") (lib "brag/examples/wordy.rkt") (lib "brag/rules/lexer.rkt") (lib "brag/codegen/runtime.rkt") (lib "brag/examples/lua-parser.rkt") (lib "brag/main.rkt") (lib "brag/examples/cutter-another.rkt") (lib "brag/examples/01-equal.rkt") (lib "brag/test/test-wordy.rkt") (lib "brag/rules/stx.rkt") (lib "brag/test/test-0n1n.rkt") (lib "brag/test/test-baby-json-hider.rkt") (lib "brag/examples/nested-repeats.rkt") (lib "brag/examples/whitespace.rkt") (lib "brag/examples/baby-json.rkt") (lib "brag/examples/add-mult.rkt") (lib "brag/test/test-simple-arithmetic-grammar.rkt") (lib "brag/test/test-01-equal.rkt") (lib "brag/examples/simple-arithmetic-grammar.rkt") (lib "brag/examples/simple-line-drawing/semantics.rkt") (lib "brag/examples/top-level-cut-3.rkt") (lib "brag/examples/hide-and-splice.rkt") (lib "brag/test/test-quotation-marks-and-backslashes.rkt") (lib "brag/examples/subrule.rkt") (lib "brag/test/test-nested-repeats.rkt") (lib "brag/test/weird-grammar.rkt") (lib "brag/test/test-all.rkt") (lib "brag/support.rkt") (lib "brag/examples/baby-json-alt.rkt") (lib "brag/examples/statlist-grammar.rkt") (lib "brag/codegen/codegen.rkt") (lib "brag/codegen/expander.rkt") (lib "brag/private/colorer.rkt") (lib "brag/test/test-errors.rkt") (lib "brag/codegen/flatten.rkt") (lib "brag/test/test-simple-line-drawing.rkt") (lib "brag/examples/curly-quantifier.rkt") (lib "brag/examples/bnf.rkt") (lib "brag/examples/nested-word-list.rkt") (lib "brag/test/test-flatten.rkt") (lib "brag/test/test-top-level-cut.rkt") (lib "brag/test/test-curly-quantifier.rkt") (lib "brag/examples/0n1n.rkt") (lib "brag/examples/empty-symbol.rkt") (lib "brag/test/test-codepoints.rkt") (lib "brag/examples/simple-line-drawing.rkt") (lib "brag/test/test-whitespace.rkt") (lib "brag/examples/0n1.rkt") (lib "brag/rules/parser.rkt") (lib "brag/examples/top-level-cut-2.rkt") (lib "brag/test/test-cutter-another.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 . "b6864823480bfae582c59976a9ea2fa3bd962570") (dependencies . (("base" #:version "6.6.0.900") ("beautiful-racket-lib") ("beautiful-racket-demo") ("gui-doc") ("gui-lib") ("at-exp-lib") ("br-parser-tools-doc") ("racket-doc") ("scribble-lib"))) (description . "Resources for the “Beautiful Racket” book") (modules . ((lib "br/scribblings/br.scrbl"))) (name . "beautiful-racket") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/beautiful-racket.zip") (tags . ("beautiful-racket"))) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "7bc44cefaaabbbbd0535e8d66d2cd81d13e634bd") (dependencies . (("base") ("asn1-lib") ("base64-lib" #:version "1.1") ("binaryio-lib") ("gmp-lib" #:version "1.1") ("scramble-lib" #:version "0.3"))) (description . "Cryptography library") (modules . ((lib "crypto/private/common/pk-common.rkt") (lib "crypto/private/argon2/ffi.rkt") (lib "crypto/private/rkt/poly1305.rkt") (lib "crypto/private/decaf/ffi.rkt") (lib "crypto/private/common/base256.rkt") (lib "crypto/private/libcrypto/ffi.rkt") (lib "crypto/nettle.rkt") (lib "crypto/main.rkt") (lib "crypto/all.rkt") (lib "crypto/private/b2/factory.rkt") (lib "crypto/pkcs8.rkt") (lib "crypto/private/b2/ffi.rkt") (lib "crypto/private/gcrypt/pkey.rkt") (lib "crypto/argon2.rkt") (lib "crypto/private/sodium/factory.rkt") (lib "crypto/private/b2/digest.rkt") (lib "crypto/private/gcrypt/ffi.rkt") (lib "crypto/private/libcrypto/factory.rkt") (lib "crypto/private/libcrypto/kdf.rkt") (lib "crypto/private/rkt/kdf.rkt") (lib "crypto/private/libcrypto/cipher.rkt") (lib "crypto/gcrypt.rkt") (lib "crypto/private/libcrypto/pkey.rkt") (lib "crypto/private/nettle/kdf.rkt") (lib "crypto/private/nettle/factory.rkt") (lib "crypto/private/gcrypt/kdf.rkt") (lib "crypto/private/common/error.rkt") (lib "crypto/private/nettle/pkey.rkt") (lib "crypto/private/sodium/pkey.rkt") (lib "crypto/private/decaf/digest.rkt") (lib "crypto/private/rkt/pbkdf2.rkt") (lib "crypto/pem.rkt") (lib "crypto/private/decaf/factory.rkt") (lib "crypto/private/nettle/cipher.rkt") (lib "crypto/sodium.rkt") (lib "crypto/util/bech32.rkt") (lib "crypto/private/decaf/pkey.rkt") (lib "crypto/private/common/catalog.rkt") (lib "crypto/private/sodium/ffi.rkt") (lib "crypto/private/common/util.rkt") (lib "crypto/private/common/ffi.rkt") (lib "crypto/libcrypto.rkt") (lib "crypto/private/rkt/chacha.rkt") (lib "crypto/private/common/kdf.rkt") (lib "crypto/private/common/cipher.rkt") (lib "crypto/private/nettle/digest.rkt") (lib "crypto/private/common/digest.rkt") (lib "crypto/private/rkt/salsa.rkt") (lib "crypto/decaf.rkt") (lib "crypto/private/sodium/kdf.rkt") (lib "crypto/private/libcrypto/digest.rkt") (lib "crypto/util/age.rkt") (lib "crypto/private/common/factory.rkt") (lib "crypto/private/common/common.rkt") (lib "crypto/private/sodium/digest.rkt") (lib "crypto/private/gcrypt/cipher.rkt") (lib "crypto/private/common/interfaces.rkt") (lib "crypto/private/sodium/cipher.rkt") (lib "crypto/private/nettle/ffi.rkt") (lib "crypto/private/gcrypt/factory.rkt") (lib "crypto/b2.rkt") (lib "crypto/private/common/asn1.rkt") (lib "crypto/private/argon2/factory.rkt") (lib "crypto/private/gcrypt/digest.rkt"))) (name . "crypto-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/crypto-lib.zip") (tags . ("crypto"))) pkg: catalog response: #hash((author . "cce@racket-lang.org") (checksum . "2337f1865301243d8b2bd0c65a37babb036d2807") (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 . "alexander@knauth.org") (checksum . "1a394158b4faecda47caff400d40956af635b612") (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"))) pkg: catalog response: #hash((author . "jackhfirth@gmail.com") (checksum . "8c6cc55db97c5eabe33660b262f7e700af8268ba") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("rackunit-lib") ("racket-doc"))) (description . "Deprecated. A library for constructing predicates in a point-free style. Unmaintained, and racket/function now supplies functions that make parts of this unnecessary.") (modules . ((lib "predicates/conditional.rkt") (lib "predicates/comparison.rkt") (lib "predicates/contract-helpers.rkt") (lib "predicates/logic.rkt") (lib "predicates/list.rkt") (lib "predicates/main.rkt") (lib "predicates/predicates.scrbl") (lib "predicates/test-helpers.rkt"))) (name . "predicates") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/predicates.zip") (tags . ("deprecated" "functional"))) pkg: catalog response: #hash((author . "william@hatch.uno willghatch@gmail.com") (checksum . "4394eeeb6c82f9546e2d78a96221e4a9a7f75824") (dependencies . (("base") ("scribble-lib") ("racket-doc"))) (description . "XDG Basedir Spec library") (modules . ((lib "basedir/basedir.scrbl") (lib "basedir/main.rkt"))) (name . "basedir") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/basedir.zip") (tags . ("configuration"))) pkg: catalog response: #hash((author . "jackhfirth@gmail.com") (checksum . "038edc3941c75310a4008d3b12a0d7131b4aa2a1") (dependencies . (("base") ("fancy-app") ("rackunit-lib") ("scribble-lib") ("typed-racket-lib") ("typed-racket-more") ("net-doc") ("rackunit-lib") ("rackunit-doc") ("racket-doc"))) (description . "A package for constructing HTTP and REST-ful requesters and integration tests. Currently unstable.") (modules . ((lib "request/private/wrap.rkt") (lib "request/main.scrbl") (lib "request/private/base.scrbl") (lib "request/param.rkt") (lib "request/check.rkt") (lib "request/private/base.rkt") (lib "request/doc-utils/def.rkt") (lib "request/private/struct.rkt") (lib "request/private/struct.scrbl") (lib "request/param.scrbl") (lib "request/private/http-location.rkt") (lib "request/private/call-response.rkt") (lib "request/private/wrap.scrbl") (lib "request/main.rkt") (lib "request/check.scrbl") (lib "request/private/http-location.scrbl") (lib "request/doc-utils/examples.rkt") (lib "request/private/exn.rkt") (lib "request/private/exn.scrbl"))) (name . "request") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/request.zip") (tags . ("experimental" "http" "rest" "testing"))) pkg: catalog response: #hash((author . "racket@greghendershott.com") (checksum . "269cb0a8b2b4e25dd91a88a621b8ee93b920485a") (dependencies . (("base") ("racket-doc") ("rackunit-lib") ("scribble-lib"))) (description . "SHA-1 and SHA-2, via FFI to OpenSSL.") (modules . ((lib "sha/bytes.rkt") (lib "sha/sha.scrbl") (lib "sha/main.rkt"))) (name . "sha") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sha.zip") (tags . ("crypto" "web"))) 00: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-classes-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "91cb5f379b9faa4ec45ff7a2544663f9e6306d32") (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 . "lexi.lambda@gmail.com") (checksum . "2cc2a2e947ebc32b79396f725d58ee331bd6711c") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("syntax-classes-lib" #:version "1.3"))) (description . "documentation (no implementation) for “syntax-classes”") (modules . ((lib "scribblings/syntax-classes.scrbl"))) (name . "syntax-classes-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-doc.zip") (tags . ("syntax"))) 00: Resolved "beautiful-racket-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "beautiful-racket-demo" 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 . "293a1a1ed1c38862ee3bfd76ae6450604851c982") (dependencies . (("base" #:version "6.6.0.900") ("beautiful-racket-macro") ("at-exp-lib") ("sugar") ("debug") ("rackunit-lib") ("gui-lib") ("draw-lib"))) (description . "support library for `beautiful-racket`") (modules . ((lib "br/test.rkt") (lib "br/list.rkt") (lib "br/verbose-app.rkt") (lib "br/quicklang.rkt") (lib "br/reader-utils.rkt") (lib "br/module.rkt") (lib "br/debug.rkt") (lib "br/main.rkt") (lib "br/indent.rkt") (lib "br/define.rkt") (lib "br/cond.rkt") (lib "br/datum.rkt") (lib "br/get-info.rkt"))) (name . "beautiful-racket-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/beautiful-racket-lib.zip") (tags . ("beautiful-racket"))) pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "c0b18c7c8fb68e133a144d2dbd25b4baeaaa753b") (dependencies . (("base" #:version "6.6.0.900") ("sugar") ("beautiful-racket-lib") ("rackunit-lib") ("brag") ("srfi-lib") ("draw-lib") ("syntax-color-lib") ("gui-lib") ("math-lib") ("at-exp-lib"))) (description . "Sample projects for “Beautiful Racket”") (modules . ((lib "bf-demo/test-reader.rkt") (lib "javascriptlike-demo/sexped.rkt") (lib "wires-demo/puzzle.rkt") (lib "basic-demo-2/cond.rkt") (lib "basic-demo-2/sample-cond.rkt") (lib "basic-demo-2/struct.rkt") (lib "wires-demo/main.rkt") (lib "bf-demo/hello.rkt") (lib "mirror-demo/test.rkt") (lib "taco-victory-demo/main.rkt") (lib "basic-demo-2a/lexer.rkt") (lib "read-only-demo/main.rkt") (lib "basic-demo-2/line.rkt") (lib "basic-demo-2a/expander.rkt") (lib "basic-demo-3/setup.rkt") (lib "basic-demo-3/line.rkt") (lib "jsonic-demo/parser.rkt") (lib "hdl-tst-demo/main.rkt") (lib "txtadv-demo/3-module-lang/world.rkt") (lib "basic-demo-3/struct.rkt") (lib "txtadv-demo/tokenizer.rkt") (lib "jsonic-demo-2/test-sources.rkt") (lib "tacopocalypse-demo/main.rkt") (lib "tacopocalypse-demo/test.rkt") (lib "javascriptlike-demo/expander.rkt") (lib "basic-demo-2/run.rkt") (lib "basic-demo-2a/line.rkt") (lib "txtadv-demo/expander.rkt") (lib "bf-demo/reader.rkt") (lib "basic-demo-3/expander.rkt") (lib "scriptish-demo/subtest.rkt") (lib "tacogram-demo/main.rkt") (lib "tacopocalypse-prep/test.rkt") (lib "bf-demo/test-tokenizer.rkt") (lib "hdl-demo/And.hdl.rkt") (lib "javascriptlike-demo/main.rkt") (lib "javascriptlike-demo/less-rackety.rkt") (lib "basic-demo-2/test-sources.rkt") (lib "jsonic-demo-3/main.rkt") (lib "funstacker-demo/funstacker-test.rkt") (lib "bf-demo/parser.rkt") (lib "taco-compiler-demo/main.rkt") (lib "atomic-taco-demo/test.rkt") (lib "basic-demo-2/expander.rkt") (lib "jsonic-demo-2/main.rkt") (lib "txtadv-demo/world-test.rkt") (lib "basic-demo/test-parser.rkt") (lib "scriptish-demo/main.rkt") (lib "txtadv-demo/world.rkt") (lib "regexcellent-demo/main.rkt") (lib "conjunction-demo/main.rkt") (lib "scriptish-demo/expander.rkt") (lib "algebra-demo/main.rkt") (lib "taco-victory-demo/test.rkt") (lib "txtadv-demo/5-lang/txtadv.rkt") (lib "jsonic-demo-3/parser.rkt") (lib "jsonic-demo-2/parser.rkt") (lib "xmlish-demo/test.rkt") (lib "txtadv-demo/2-modules/world.rkt") (lib "basic-demo-3/sample-def.rkt") (lib "read-only-demo/test.rkt") (lib "hdl-demo/Toffoli.hdl.rkt") (lib "txtadv-demo/5-lang/txtadv-reader.rkt") (lib "basic-demo-2/sample-math.rkt") (lib "basic-demo-nth/basic-test.rkt") (lib "txtadv-demo/1-monolith/txtadv+world.rkt") (lib "basic-demo-nth/parser.rkt") (lib "bf-demo/factorial.rkt") (lib "basic-demo-3/tokenize-only.rkt") (lib "hdl-demo/bus.rkt") (lib "precalc-demo/grammar.rkt") (lib "tacopocalypse-prep/main.rkt") (lib "basic-demo-2/elements.rkt") (lib "jsonic-demo-2/buttons.rkt") (lib "hdl-demo/expander.rkt") (lib "precalc-demo/test.rkt") (lib "basic-demo-nth/tokenizer.rkt") (lib "txtadv-demo/demo-short.rkt") (lib "basic-demo-2/expr.rkt") (lib "basic-demo-3/sample-exporter.rkt") (lib "txtadv-demo/5-lang/world.rkt") (lib "conjunction-demo/test.rkt") (lib "jsonic-demo/tokenizer.rkt") (lib "basic-demo-2a/tokenizer.rkt") (lib "basic-demo-3/parse-only.rkt") (lib "basic-demo-3/main.rkt") (lib "hdl-demo/Nand2.hdl.rkt") (lib "jsonic-demo/jsonic-test.rkt") (lib "pl-checklist-demo/test.rkt") (lib "jsonic-demo-3/colorer.rkt") (lib "basic-demo-3/lexer.rkt") (lib "hdl-demo/Dmux4Way.hdl.rkt") (lib "basic-demo-2a/sample.rkt") (lib "numberstring-demo/main.rkt") (lib "jsonic-demo-3/tokenizer.rkt") (lib "basic-demo-nth/importest.rkt") (lib "basic-demo-nth/colorer.rkt") (lib "jsonic-demo-3/parser-test.rkt") (lib "basic-demo-2a/test-sources.rkt") (lib "wires-demo/test-sources.rkt") (lib "txtadv-demo/0-longhand/txtadv+world.rkt") (lib "basic-demo-2/parse-stx.rkt") (lib "bf-demo/expander-imperative.rkt") (lib "jsonic-demo-3/test-sources.rkt") (lib "hdl-demo/And.tst.rkt") (lib "pythonesque-demo/grammar.rkt") (lib "hdl-demo/grammar.rkt") (lib "basic-demo-2a/elements.rkt") (lib "stacker-demo/stacker.rkt") (lib "basic-demo-2/lexer.rkt") (lib "jsonic-demo-3/buttons.rkt") (lib "funstacker-demo/funstacker.rkt") (lib "hdl-demo/Fanout.hdl.rkt") (lib "hdl-demo/bus-properties.rkt") (lib "javascriptlike-demo/grammar.rkt") (lib "bf-demo/expander.rkt") (lib "basic-demo-2a/expr.rkt") (lib "txtadv-demo/6-color/world.rkt") (lib "basic-demo/tokenizer.rkt") (lib "basic-demo-3/sample-shell.rkt") (lib "txtadv-demo/main.rkt") (lib "txtadv-demo/world-sexp.rkt") (lib "basic-demo-3/sample-importer.rkt") (lib "quantum-taco-demo/test.rkt") (lib "precalc-demo/main.rkt") (lib "jsonic-demo-3/expander.rkt") (lib "basic-demo-2/sample-for.rkt") (lib "txtadv-demo/4-type/txtadv.rkt") (lib "jsonic-demo-3/reader.rkt") (lib "pythonesque-demo/main.rkt") (lib "basic-demo-2/parse-only.rkt") (lib "bf-demo/atsign-sexp.rkt") (lib "basic-demo-nth/expander.rkt") (lib "txtadv-demo/4-type/world.rkt") (lib "basic-demo/main.rkt") (lib "hdl-demo/Or.hdl.rkt") (lib "basic-demo-2a/go.rkt") (lib "basic-demo-3/sample-math.rkt") (lib "basic-demo-2/sample-gosub.rkt") (lib "taco-decompiler-demo/run.rkt") (lib "expand-only-demo/test.rkt") (lib "basic-demo-nth/main.rkt") (lib "bf-demo/atsign.rkt") (lib "basic-demo-3/private/sample-pseudocode.rkt") (lib "basic-demo-2/colorer.rkt") (lib "mirror-demo/main.rkt") (lib "jsonic-demo/expander.rkt") (lib "basic-demo-3/colorer.rkt") (lib "basic-demo-3/expr.rkt") (lib "txtadv-demo/6-color/color.rkt") (lib "javascriptlike-demo/rackety.rkt") (lib "basic-demo-3/misc.rkt") (lib "stackerizer-demo/test-sources.rkt") (lib "hdl-demo/Or.tst.rkt") (lib "basic-demo-2a/misc.rkt") (lib "funstacker-demo/test-sources.rkt") (lib "basic-demo-2/tokenizer.rkt") (lib "basic-demo-2a/main.rkt") (lib "basic-demo-2/parser.rkt") (lib "txtadv-demo/parser.rkt") (lib "jsonic-demo/test-sources.rkt") (lib "basic-demo/tokenize-only.rkt") (lib "txtadv-demo/6-color/txtadv.rkt") (lib "bf-demo/test-parser.rkt") (lib "hdl-demo/HalfAdder.hdl.rkt") (lib "basic-demo-2/main.rkt") (lib "hdl-demo/DMux.hdl.rkt") (lib "pythonesque-demo/test.rkt") (lib "pl-checklist-demo/main.rkt") (lib "basic-demo-3/structs.rkt") (lib "dyadic-demo/main.rkt") (lib "basic-demo/lexer-test.rkt") (lib "hdl-demo/Dmux-test.rkt") (lib "basic-demo-3/parse-stx.rkt") (lib "hdl-demo/main.rkt") (lib "stacker-demo/stacker-test.rkt") (lib "tacogram-demo/test.rkt") (lib "chip8-demo/chip8.rkt") (lib "pl-checklist-lang-maker/main.rkt") (lib "hdl-demo/Dmux.tst.rkt") (lib "basic-demo-3/sample-import.rkt") (lib "algebra-demo/grammar.rkt") (lib "basic-demo/parse-only.rkt") (lib "taco-compiler-demo/test.rkt") (lib "hdl-demo/DMux4Way-test.rkt") (lib "basic-demo/expander.rkt") (lib "basic-demo-2/go.rkt") (lib "passthrough-demo/test.rkt") (lib "basic-demo-3/report-args.rkt") (lib "basic-demo-3/args.rkt") (lib "basic-demo-3/sample-cond.rkt") (lib "basic-demo-3/cond.rkt") (lib "basic-demo-2/sample-var.rkt") (lib "regexcellent-demo/grammar.rkt") (lib "expand-only-demo/main.rkt") (lib "taco-victory-demo/grammar.rkt") (lib "quantum-taco-demo/main.rkt") (lib "hdl-demo/Nand.tst.rkt") (lib "basic-demo-2/misc.rkt") (lib "javascriptlike-demo/test.rkt") (lib "basic-demo-2a/parser.rkt") (lib "atomic-taco-demo/main.rkt") (lib "taco-decompiler-demo/test.rkt") (lib "basic-demo-3/go.rkt") (lib "basic-demo/lexer.rkt") (lib "basic-demo-3/tokenizer.rkt") (lib "hdl-demo/Mux.hdl.rkt") (lib "wires-demo/test.rkt") (lib "jsonic-demo-2/expander.rkt") (lib "injunction-demo/main.rkt") (lib "jsonic-demo-2/tokenizer.rkt") (lib "regexcellent-demo/test.rkt") (lib "hdl-demo/DMux4Way.tst.rkt") (lib "taco-decompiler-demo/main.rkt") (lib "basic-demo-3/test-sources.rkt") (lib "dyadic-demo/source.rkt") (lib "jsonic-demo-3/scribblings/jsonic.scrbl") (lib "basic-demo/parse-stx.rkt") (lib "jsonic-demo-2/reader.rkt") (lib "hdl-tst-demo/expander.rkt") (lib "basic-demo-2/sample.rkt") (lib "stackerizer-demo/stackerizer.rkt") (lib "jsonic-demo/reader.rkt") (lib "bf-demo/test-sources.rkt") (lib "basic-demo/parser.rkt") (lib "scriptish-demo/grammar.rkt") (lib "jsonic-demo-2/colorer.rkt") (lib "numberstring-demo/source.rkt") (lib "txtadv-demo/6-color/reader.rkt") (lib "hdl-demo/Xor.tst.rkt") (lib "basic-demo-3/parser.rkt") (lib "bf-demo/main.rkt") (lib "stackerizer-demo/stackerizer-test.rkt") (lib "bf-demo/expander-slow.rkt") (lib "hdl-demo/Not.hdl.rkt") (lib "xmlish-demo/main.rkt") (lib "basic-demo-3/sample-input.rkt") (lib "jsonic-demo-2/parser-test.rkt") (lib "jsonic-demo-2/indenter.rkt") (lib "basic-demo/sample.rkt") (lib "txtadv-demo/3-module-lang/txtadv.rkt") (lib "hdl-tst-demo/grammar.rkt") (lib "basic-demo/private/sample-pseudocode.rkt") (lib "scriptish-demo/test.rkt") (lib "basic-demo-3/sample.rkt") (lib "stacker-demo/test-sources.rkt") (lib "hdl-demo/HalfAdder.tst.rkt") (lib "hdl-demo/Mux-test.rkt") (lib "wires-demo/with-promises.rkt") (lib "basic-demo-3/run.rkt") (lib "injunction-demo/test.rkt") (lib "tacogram-demo/grammar.rkt") (lib "hdl-demo/Mux.tst.rkt") (lib "algebra-demo/test.rkt") (lib "hdl-demo/Not.tst.rkt") (lib "txtadv-demo/reader.rkt") (lib "funstacker-demo/funstacker-h2.rkt") (lib "hdl-demo/Xor.hdl.rkt") (lib "basic-demo-2a/run.rkt") (lib "xmlish-demo/grammar.rkt") (lib "basic-demo-2/sample-input.rkt") (lib "basic-demo-2/private/sample-pseudocode.rkt") (lib "bf-demo/parser-tester.rkt") (lib "jsonic-demo-3/indenter.rkt") (lib "hdl-demo/Nand.hdl.rkt") (lib "jsonic-demo-2/jsonic-test.rkt") (lib "basic-demo/test-sources.rkt") (lib "jsonic-demo-3/jsonic-test.rkt") (lib "jsonic-demo/main.rkt") (lib "basic-demo-3/sample-gosub.rkt") (lib "basic-demo-3/sample-for.rkt") (lib "basic-demo-3/sample-provide.rkt") (lib "txtadv-demo/2-modules/txtadv.rkt") (lib "basic-demo-2a/struct.rkt") (lib "passthrough-demo/main.rkt") (lib "basic-demo-3/elements.rkt"))) (name . "beautiful-racket-demo") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/beautiful-racket-demo.zip") (tags . ("beautiful-racket"))) pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "e7c64bc878164311501d13b12c089bbf7ba21f46") (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"))) 00: Resolved "beautiful-racket-macro" via file:///home/root//catalogs/built/catalog 00: Resolved "sugar" via file:///home/root//catalogs/built/catalog Resolved "debug" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "1a5ca7afc2843edaa3aa31006160404d0883ece1") (dependencies . (("base" #:version "6.6.0.900") ("rackunit-lib"))) (description . "Subpackage with just the br/macro and br/syntax modules") (modules . ((lib "br/macro.rkt") (lib "br/private/syntax-flatten.rkt") (lib "br/syntax.rkt") (lib "br/private/generate-literals.rkt"))) (name . "beautiful-racket-macro") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/beautiful-racket-macro.zip") (tags . ("beautiful-racket"))) pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "62ff160f30e71cea6dd95581d9a9e2740bf21a15") (dependencies . (("base") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "shortcuts for simplicity & readability") (modules . ((lib "sugar/scribblings/list.scrbl") (lib "sugar/test/debug-meta-lang.rkt") (lib "sugar/unstable/include.rkt") (lib "sugar/unstable/contract.rkt") (lib "sugar/unstable/container.rkt") (lib "sugar/unstable/len.rkt") (lib "sugar/define.rkt") (lib "sugar/scribblings/len.scrbl") (lib "sugar/scribblings/file-extensions.scrbl") (lib "sugar/debug.rkt") (lib "sugar/unstable/js.rkt") (lib "sugar/unstable/stub.rkt") (lib "sugar/scribblings/sugar.scrbl") (lib "sugar/list.rkt") (lib "sugar/scribblings/include.scrbl") (lib "sugar/unstable/source.rkt") (lib "sugar/scribblings/license.scrbl") (lib "sugar/unstable/string.rkt") (lib "sugar/scribblings/container.scrbl") (lib "sugar/scribblings/debug.scrbl") (lib "sugar/coerce/contract.rkt") (lib "sugar/unstable/port.rkt") (lib "sugar/main.rkt") (lib "sugar/scribblings/string.scrbl") (lib "sugar/unstable/dict.rkt") (lib "sugar/test/test-require-modes.rkt") (lib "sugar/file.rkt") (lib "sugar/unstable/case.rkt") (lib "sugar/scribblings/xml.scrbl") (lib "sugar/test/main.rkt") (lib "sugar/private/syntax-utils.rkt") (lib "sugar/scribblings/installation.scrbl") (lib "sugar/unstable/misc.rkt") (lib "sugar/cache.rkt") (lib "sugar/scribblings/cache.scrbl") (lib "sugar/scribblings/coerce.scrbl") (lib "sugar/coerce/base.rkt") (lib "sugar/unstable/class.rkt") (lib "sugar/xml.rkt") (lib "sugar/test.rkt") (lib "sugar/coerce.rkt"))) (name . "sugar") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sugar.zip") (tags . ("sweet"))) pkg: catalog response: #hash((author . "alexander@knauth.org mb@mbtype.com") (checksum . "291a713a979b48c216eea76f3910ee2c4ddb233d") (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"))) Resolved "brag" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "b231c1c796d990f28bb7b6a832d8565d3a845209") (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"))) 00: Resolved "asn1-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "base64-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "binaryio-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "gmp-lib" via file:///home/root//catalogs/built/catalog Resolved "scramble-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "d91e4fcaec3b9c017baba3c384487deeb8c6689b") (dependencies . (("base") ("binaryio-lib" #:version "1.1"))) (description . "ASN.1 library") (modules . ((lib "asn1/private/base256.rkt") (lib "asn1/util/bit-string.rkt") (lib "asn1/private/types.rkt") (lib "asn1/private/ber.rkt") (lib "asn1/ber.rkt") (lib "asn1/main.rkt") (lib "asn1/private/ber-frame.rkt") (lib "asn1/util/names.rkt") (lib "asn1/util/time.rkt") (lib "asn1/private/base.rkt"))) (name . "asn1-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/asn1-lib.zip") (tags . ("io" "net" "parser" "parsing"))) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "2b301d4d00af8af80c103751e14dc5e09bdabb27") (dependencies . (("base" #:version "7.4"))) (description . "") (modules . ((lib "base64/main.rkt"))) (name . "base64-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/base64-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "d9f207f0d3ae6202222a553de87ceff50c26ad3e") (dependencies . (("base") ("data-lib"))) (description . "functions for reading and writing binary data") (modules . ((lib "binaryio/unchecked/huffman.rkt") (lib "binaryio/fixup-port.rkt") (lib "binaryio/reader.rkt") (lib "binaryio/float.rkt") (lib "binaryio/bitvector.rkt") (lib "binaryio/private/bytes.rkt") (lib "binaryio/unchecked/integer.rkt") (lib "binaryio/main.rkt") (lib "binaryio/bytes-bits.rkt") (lib "binaryio/bytes.rkt") (lib "binaryio/unchecked/bitport.rkt") (lib "binaryio/unchecked/reader.rkt") (lib "binaryio/unchecked/bitvector.rkt") (lib "binaryio/prefixcode.rkt") (lib "binaryio/bitport.rkt") (lib "binaryio/unchecked/prefixcode.rkt") (lib "binaryio/unchecked/bytes-bits.rkt") (lib "binaryio/unchecked/fixup-port.rkt") (lib "binaryio/integer.rkt") (lib "binaryio/private/float.rkt") (lib "binaryio/huffman.rkt"))) (name . "binaryio-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/binaryio-lib.zip") (tags . ("io" "net"))) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "32ae3ac384cc93fd0259169b889bdf8676128538") (dependencies . (("base"))) (description . "Bindings to gmp (the GNU Multiple Precision Arithmetic Library)") (modules . ((lib "gmp/main.rkt") (lib "gmp/unsafe.rkt") (lib "gmp/private/gmp.rkt"))) (name . "gmp-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gmp-lib.zip") (tags . ("math"))) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "2ba0759ec63b7ec2933b2754b5a936c98b364505") (dependencies . (("base"))) (description . "Assorted utility libraries") (modules . ((lib "scramble/list.rkt") (lib "scramble/about.rkt") (lib "scramble/slice.rkt") (lib "scramble/result.rkt") (lib "scramble/evt.rkt") (lib "scramble/regexp.rkt") (lib "scramble/private/error.rkt") (lib "scramble/private/url.rkt") (lib "scramble/struct.rkt") (lib "scramble/inject-syntax.rkt") (lib "scramble/private/regexp.rkt") (lib "scramble/private/setf.rkt") (lib "scramble/class.rkt") (lib "scramble/immutable.rkt") (lib "scramble/number.rkt") (lib "scramble/cond.rkt") (lib "scramble/function.rkt") (lib "scramble/private/tree.rkt") (lib "scramble/struct-info.rkt"))) (name . "scramble-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/scramble-lib.zip") (tags . ())) Resolved "fancy-app" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "samth@ccs.neu.edu") (checksum . "0238611d42bda64516c1711805445cde599f245f") (dependencies . (("base") ("rackunit-lib") ("racket-doc") ("scribble-lib"))) (description . "Scala-style anonymous functions") (modules . ((lib "fancy-app/main.scrbl") (lib "fancy-app/main.rkt"))) (name . "fancy-app") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fancy-app.zip") (tags . ("syntax"))) pkg: creating single-collection link to # pkg: updating db with "fancy-app" to '#s((sc-pkg-info pkg-info 3) (catalog "fancy-app") "0238611d42bda64516c1711805445cde599f245f" #t "fancy-app") pkg: creating link to # pkg: updating db with "sha" to '#s(pkg-info (catalog "sha") "269cb0a8b2b4e25dd91a88a621b8ee93b920485a" #t) pkg: creating single-collection link to # pkg: updating db with "froglet" to '#s((sc-pkg-info pkg-info 3) (catalog "froglet") "98af845bc31668d76d6e7121791ba2634cf698a5" #f "froglet") pkg: creating single-collection link to # pkg: updating db with "forge" to '#s((sc-pkg-info pkg-info 3) (catalog "forge") "9a7d88e883c9a0083f375528471836fa719a1336" #f "forge") pkg: creating link to # pkg: updating db with "syntax-classes" to '#s(pkg-info (catalog "syntax-classes") "48c1baa6141b3b2e07dadfae996b7d405fe90425" #t) pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "91cb5f379b9faa4ec45ff7a2544663f9e6306d32" #t) pkg: creating link to # pkg: updating db with "syntax-classes-doc" to '#s(pkg-info (catalog "syntax-classes-doc") "2cc2a2e947ebc32b79396f725d58ee331bd6711c" #t) pkg: creating link to # pkg: updating db with "br-parser-tools-lib" to '#s(pkg-info (catalog "br-parser-tools-lib") "e074990b36c87d226e13cb36a0ad6c4f3858daba" #t) pkg: creating link to # pkg: updating db with "brag-lib" to '#s(pkg-info (catalog "brag-lib") "23013d4aa4b7012cea9ec433db091abe89c64674" #t) pkg: creating link to # pkg: updating db with "beautiful-racket" to '#s(pkg-info (catalog "beautiful-racket") "b6864823480bfae582c59976a9ea2fa3bd962570" #t) pkg: creating link to # pkg: updating db with "beautiful-racket-lib" to '#s(pkg-info (catalog "beautiful-racket-lib") "293a1a1ed1c38862ee3bfd76ae6450604851c982" #t) pkg: creating link to # pkg: updating db with "beautiful-racket-macro" to '#s(pkg-info (catalog "beautiful-racket-macro") "1a5ca7afc2843edaa3aa31006160404d0883ece1" #t) pkg: creating link to # pkg: updating db with "sugar" to '#s(pkg-info (catalog "sugar") "62ff160f30e71cea6dd95581d9a9e2740bf21a15" #t) pkg: creating link to # pkg: updating db with "debug" to '#s(pkg-info (catalog "debug") "291a713a979b48c216eea76f3910ee2c4ddb233d" #t) pkg: creating link to # pkg: updating db with "beautiful-racket-demo" to '#s(pkg-info (catalog "beautiful-racket-demo") "c0b18c7c8fb68e133a144d2dbd25b4baeaaa753b" #t) pkg: creating link to # pkg: updating db with "brag" to '#s(pkg-info (catalog "brag") "b231c1c796d990f28bb7b6a832d8565d3a845209" #t) pkg: creating link to # pkg: updating db with "br-parser-tools-doc" to '#s(pkg-info (catalog "br-parser-tools-doc") "e7c64bc878164311501d13b12c089bbf7ba21f46" #t) pkg: creating single-collection link to # pkg: updating db with "crypto-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "crypto-lib") "7bc44cefaaabbbbd0535e8d66d2cd81d13e634bd" #t "crypto") pkg: creating single-collection link to # pkg: updating db with "asn1-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "asn1-lib") "d91e4fcaec3b9c017baba3c384487deeb8c6689b" #t "asn1") pkg: creating single-collection link to # pkg: updating db with "base64-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "base64-lib") "2b301d4d00af8af80c103751e14dc5e09bdabb27" #t "base64") pkg: creating single-collection link to # pkg: updating db with "binaryio-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "binaryio-lib") "d9f207f0d3ae6202222a553de87ceff50c26ad3e" #t "binaryio") pkg: creating single-collection link to # pkg: updating db with "gmp-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "gmp-lib") "32ae3ac384cc93fd0259169b889bdf8676128538" #t "gmp") pkg: creating single-collection link to # pkg: updating db with "scramble-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "scramble-lib") "2ba0759ec63b7ec2933b2754b5a936c98b364505" #t "scramble") pkg: creating link to # pkg: updating db with "mischief" to '#s(pkg-info (catalog "mischief") "2337f1865301243d8b2bd0c65a37babb036d2807" #t) pkg: creating link to # pkg: updating db with "pretty-format" to '#s(pkg-info (catalog "pretty-format") "1a394158b4faecda47caff400d40956af635b612" #t) pkg: creating link to # pkg: updating db with "predicates" to '#s(pkg-info (catalog "predicates") "8c6cc55db97c5eabe33660b262f7e700af8268ba" #t) pkg: creating single-collection link to # pkg: updating db with "basedir" to '#s((sc-pkg-info pkg-info 3) (catalog "basedir") "4394eeeb6c82f9546e2d78a96221e4a9a7f75824" #t "basedir") pkg: creating link to # pkg: updating db with "request" to '#s(pkg-info (catalog "request") "038edc3941c75310a4008d3b12a0d7131b4aa2a1" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of forge: syntax-classes br-parser-tools-lib brag-lib beautiful-racket crypto-lib mischief pretty-format predicates basedir request sha dependencies of syntax-classes: syntax-classes-lib syntax-classes-doc dependencies of beautiful-racket: beautiful-racket-lib beautiful-racket-demo br-parser-tools-doc dependencies of beautiful-racket-lib: beautiful-racket-macro sugar debug dependencies of beautiful-racket-demo: brag dependencies of crypto-lib: asn1-lib base64-lib binaryio-lib gmp-lib scramble-lib dependencies of request: fancy-app raco setup: version: 8.9 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.9 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.9/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.9/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.9/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 --- [2:58:04] raco setup: updating: /home/root/user/.local/share/racket/8.9/share/info-cache.rktd raco setup: --- pre-installing collections --- [2:58:04] raco setup: --- installing foreign libraries --- [2:58:04] raco setup: --- installing shared files --- [2:58:04] raco setup: --- compiling collections --- [2:58:04] raco setup: --- parallel build using 4 jobs --- [2:58:04] raco setup: 3 making: /asn1-lib (asn1) raco setup: 2 making: /base64-lib (base64) raco setup: 1 making: /basedir raco setup: 0 making: /beautiful-racket-demo/algebra-demo raco setup: 2 making: /beautiful-racket-demo/atomic-taco-demo raco setup: 1 making: /beautiful-racket-demo/basic-demo raco setup: 3 making: /asn1-lib/private raco setup: 3 making: /asn1-lib/util raco setup: 2 making: /beautiful-racket-demo/basic-demo-2 raco setup: 3 making: /beautiful-racket-demo/basic-demo-2a raco setup: 0 making: /beautiful-racket-demo/basic-demo-3 raco setup: 3 making: /beautiful-racket-demo/basic-demo-nth raco setup: 3 making: /beautiful-racket-demo/bf-demo raco setup: 1 making: /beautiful-racket-demo/chip8-demo raco setup: 1 making: /beautiful-racket-demo/conjunction-demo raco setup: 1 making: /beautiful-racket-demo/dyadic-demo raco setup: 1 making: /beautiful-racket-demo/expand-only-demo raco setup: 1 making: /beautiful-racket-demo/funstacker-demo raco setup: 1 making: /beautiful-racket-demo/hdl-demo raco setup: 1 making: /beautiful-racket-demo/hdl-tst-demo raco setup: 1 making: /beautiful-racket-demo/injunction-demo raco setup: 1 making: /beautiful-racket-demo/javascriptlike-demo raco setup: 3 making: /beautiful-racket-demo/jsonic-demo raco setup: 2 making: /beautiful-racket-demo/jsonic-demo-2 raco setup: 3 making: /beautiful-racket-demo/jsonic-demo-3 raco setup: 1 making: /beautiful-racket-demo/mirror-demo raco setup: 1 making: /beautiful-racket-demo/numberstring-demo raco setup: 1 making: /beautiful-racket-demo/passthrough-demo raco setup: 1 making: /beautiful-racket-demo/pl-checklist-demo raco setup: 1 making: /beautiful-racket-demo/pl-checklist-lang-maker raco setup: 1 making: /beautiful-racket-demo/precalc-demo raco setup: 2 making: /beautiful-racket-demo/pythonesque-demo raco setup: 3 making: /beautiful-racket-demo/jsonic-demo-3/scribblings raco setup: 3 making: /beautiful-racket-demo/quantum-taco-demo raco setup: 3 making: /beautiful-racket-demo/read-only-demo raco setup: 3 making: /beautiful-racket-demo/regexcellent-demo raco setup: 1 making: /beautiful-racket-demo/scriptish-demo raco setup: 2 making: /beautiful-racket-demo/stacker-demo raco setup: 2 making: /beautiful-racket-demo/stackerizer-demo raco setup: 2 making: /beautiful-racket-demo/taco-compiler-demo raco setup: 3 making: /beautiful-racket-demo/taco-decompiler-demo raco setup: 2 making: /beautiful-racket-demo/taco-victory-demo raco setup: 3 making: /beautiful-racket-demo/tacogram-demo raco setup: 2 making: /beautiful-racket-demo/tacopocalypse-demo raco setup: 2 making: /beautiful-racket-demo/tacopocalypse-prep raco setup: 3 making: /beautiful-racket-demo/txtadv-demo raco setup: 3 making: /beautiful-racket-demo/wires-demo raco setup: 2 making: /beautiful-racket-demo/xmlish-demo raco setup: 1 making: /beautiful-racket-lib/br raco setup: 2 making: /beautiful-racket-macro/br raco setup: 2 making: /beautiful-racket-macro/br/private raco setup: 2 making: /beautiful-racket/br raco setup: 2 making: /beautiful-racket/br/scribblings raco setup: 1 making: /binaryio-lib (binaryio) raco setup: 0 making: /br-parser-tools-doc/br-parser-tools raco setup: 3 making: /br-parser-tools-lib/br-parser-tools raco setup: 3 making: /br-parser-tools-lib/br-parser-tools/examples raco setup: 3 making: /br-parser-tools-lib/br-parser-tools/private-lex raco setup: 3 making: /br-parser-tools-lib/br-parser-tools/private-yacc raco setup: 3 making: /brag-lib/brag raco setup: 3 making: /brag-lib/brag/codegen raco setup: 3 making: /brag-lib/brag/private raco setup: 2 making: /brag/brag raco setup: 3 making: /brag-lib/brag/rules raco setup: 0 making: /crypto-lib (crypto) raco setup: 3 making: /debug/debug raco setup: 2 making: /debug/typed raco setup: 2 making: /debug/typed/debug raco setup: 2 making: /debug/typed/debug/report raco setup: 3 making: /debug/debug/lang raco setup: 1 making: /binaryio-lib/private raco setup: 1 making: /binaryio-lib/unchecked raco setup: 3 making: /debug/debug/no-output raco setup: 1 making: /fancy-app raco setup: 3 making: /debug/debug/no-output/lang raco setup: 3 making: /debug/debug/private raco setup: 3 making: /debug/debug/report raco setup: 3 making: /debug/debug/scribblings raco setup: 3 making: /debug/debug/test raco setup: 3 making: /forge raco setup: 1 making: /froglet raco setup: 2 making: /debug/typed/debug/test raco setup: 2 making: /gmp-lib (gmp) raco setup: 2 making: /gmp-lib/private raco setup: 2 making: /mischief/debug raco setup: 1 making: /froglet/lang raco setup: 1 making: /froglet/typecheck raco setup: 1 making: /mischief/mischief raco setup: 2 making: /mischief/debug/mischief raco setup: 2 making: /mischief/debug/mischief/lang raco setup: 2 making: /mischief/debug/racket raco setup: 2 making: /mischief/debug/racket/base raco setup: 2 making: /mischief/debug/racket/base/lang raco setup: 2 making: /mischief/debug/racket/lang raco setup: 2 making: /mischief/no-debug raco setup: 0 making: /crypto-lib/private raco setup: 0 making: /crypto-lib/private/argon2 raco setup: 0 making: /crypto-lib/private/b2 raco setup: 0 making: /crypto-lib/private/common raco setup: 0 making: /crypto-lib/private/decaf raco setup: 0 making: /crypto-lib/private/gcrypt raco setup: 0 making: /crypto-lib/private/libcrypto raco setup: 0 making: /crypto-lib/private/nettle raco setup: 0 making: /crypto-lib/private/rkt raco setup: 2 making: /mischief/no-debug/mischief raco setup: 2 making: /mischief/no-debug/mischief/lang raco setup: 2 making: /mischief/no-debug/racket raco setup: 2 making: /mischief/no-debug/racket/base raco setup: 2 making: /mischief/no-debug/racket/base/lang raco setup: 2 making: /mischief/no-debug/racket/lang raco setup: 2 making: /predicates/predicates (predicates) raco setup: 0 making: /crypto-lib/private/sodium raco setup: 1 making: /mischief/mischief/lang raco setup: 0 making: /crypto-lib/util raco setup: 2 making: /pretty-format/pretty-format raco setup: 2 making: /pretty-format/pretty-format/scribblings raco setup: 2 making: /pretty-format/typed raco setup: 0 making: /request/request (request) raco setup: 2 making: /scramble-lib (scramble) raco setup: 2 making: /scramble-lib/private raco setup: 0 making: /request/request/doc-utils raco setup: 2 making: /sha/sha raco setup: 2 making: /sugar/sugar raco setup: 0 making: /request/request/private raco setup: 0 making: /syntax-classes-doc/scribblings raco setup: 3 making: /forge/bsl raco setup: 3 making: /forge/bsl/lang raco setup: 3 making: /forge/check-ex-spec raco setup: 0 making: /syntax-classes-lib/syntax raco setup: 0 making: /syntax-classes-lib/syntax/parse raco setup: 0 making: /syntax-classes-lib/syntax/parse/class raco setup: 1 making: /mischief/mischief/private raco setup: 3 making: /forge/check-ex-spec/core raco setup: 3 making: /forge/check-ex-spec/core/lang raco setup: 3 making: /forge/check-ex-spec/lang raco setup: 1 making: /mischief/mischief/props raco setup: 2 making: /sugar/sugar/coerce raco setup: 1 making: /mischief/mischief/props/lang raco setup: 1 making: /mischief/mischief/scribblings raco setup: 1 making: /mischief/mischief/stylish raco setup: 1 making: /mischief/mischief/tests raco setup: 2 making: /sugar/sugar/private raco setup: 2 making: /sugar/sugar/scribblings raco setup: 2 making: /sugar/sugar/unstable raco setup: 3 making: /forge/check-ex-spec/library raco setup: 3 making: /forge/core raco setup: 3 making: /forge/core/lang raco setup: 3 making: /forge/decode-wheat-lang raco setup: 3 making: /forge/decode-wheat-lang/lang raco setup: 3 making: /forge/demo raco setup: 3 making: /forge/docs raco setup: 3 making: /forge/kodkod-cli raco setup: 3 making: /forge/kodkod-cli/customSolver raco setup: 3 making: /forge/kodkod-cli/customSolver/python raco setup: 3 making: /forge/kodkod-cli/jar raco setup: 3 making: /forge/kodkod-cli/jar/win32 raco setup: 3 making: /forge/kodkod-cli/jar/win64 raco setup: 3 making: /forge/kodkod-cli/new-old-jar raco setup: 3 making: /forge/kodkod-cli/new-old-jar/win32 raco setup: 3 making: /forge/kodkod-cli/new-old-jar/win64 raco setup: 3 making: /forge/kodkod-cli/server raco setup: 3 making: /forge/kodkod-cli/src raco setup: 3 making: /forge/kodkod-cli/src/kodkod raco setup: 3 making: /forge/kodkod-cli/src/kodkod/cli raco setup: 3 making: /forge/kodkod-cli/test-sat4j raco setup: 3 making: /forge/kodkod-cli/test-sat4j/kodkod raco setup: 3 making: /forge/kodkod-cli/test-sat4j/kodkod/cli raco setup: 3 making: /forge/lang raco setup: 3 making: /forge/lang/alloy-syntax raco setup: 3 making: /forge/logging raco setup: 3 making: /forge/logging/2022 raco setup: 3 making: /forge/logging/2023 raco setup: 3 making: /forge/logging/check-ex-spec raco setup: 3 making: /forge/new-mode raco setup: 3 making: /forge/new-mode/core raco setup: 3 making: /forge/new-mode/core/lang raco setup: 3 making: /forge/new-mode/examples raco setup: 3 making: /forge/new-mode/lang raco setup: 3 making: /forge/new-mode/library raco setup: 3 making: /forge/pardinus-cli raco setup: 3 making: /forge/pardinus-cli/jar raco setup: 3 making: /forge/pardinus-cli/jar/win32 raco setup: 3 making: /forge/pardinus-cli/jar/win64 raco setup: 3 making: /forge/pardinus-cli/server raco setup: 3 making: /forge/pardinus-cli/test-sat4j raco setup: 3 making: /forge/pardinus-cli/test-sat4j/kodkod raco setup: 3 making: /forge/pardinus-cli/test-sat4j/kodkod/cli raco setup: 3 making: /forge/racket-rfc6455 raco setup: 3 making: /forge/racket-rfc6455/net raco setup: 3 making: /forge/racket-rfc6455/net/rfc6455 raco setup: 3 making: /forge/racket-rfc6455/net/rfc6455/examples raco setup: 3 making: /forge/racket-rfc6455/net/rfc6455/hybi00 raco setup: 3 making: /forge/racket-rfc6455/net/rfc6455/private raco setup: 3 making: /forge/racket-rfc6455/net/rfc6455/rfc6455 raco setup: 3 making: /forge/server raco setup: 3 making: /forge/server/static raco setup: 3 making: /forge/sterling raco setup: 3 making: /forge/sterling/build raco setup: 3 making: /forge/sterling/build/assets raco setup: 3 making: /forge/testme raco setup: 3 making: /forge/testme/core raco setup: 3 making: /forge/testme/core/lang raco setup: 3 making: /forge/testme/lang raco setup: 3 making: /forge/testme/library raco setup: --- creating launchers --- [2:58:26] raco setup: --- installing man pages --- [2:58:26] raco setup: --- building documentation --- [2:58:26] raco setup: syncing: /basedir/doc/basedir raco setup: syncing: /beautiful-racket/br/doc/br raco setup: syncing: /br-parser-tools-doc/br-parser-tools/doc/br-parser-tools raco setup: syncing: /brag/brag/doc/brag raco setup: syncing: /debug/debug/doc/debug raco setup: syncing: /fancy-app/doc/fancy-app raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /predicates/predicates/doc/predicates raco setup: syncing: /pretty-format/pretty-format/doc/pretty-format raco setup: syncing: /request/request/doc/request raco setup: syncing: /sha/sha/doc/sha raco setup: syncing: /sugar/sugar/doc/sugar raco setup: syncing: /syntax-classes-doc/scribblings/doc/syntax-classes raco setup: 2 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 3 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: WARNING: duplicate tag: (index-entry (mod-path "debug")) raco setup: in: /home/root/user/.local/share/racket/8.9/pkgs/debug/debug/scribblings/debug.scrbl raco setup: in: /home/root/user/.local/share/racket/8.9/pkgs/mischief/mischief/scribblings/mischief.scrbl raco setup: WARNING: duplicate tag: (mod-path "debug") raco setup: in: /home/root/user/.local/share/racket/8.9/pkgs/debug/debug/scribblings/debug.scrbl raco setup: in: /home/root/user/.local/share/racket/8.9/pkgs/mischief/mischief/scribblings/mischief.scrbl raco setup: 3 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 2 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 --- [2:58:36] raco setup: --- post-installing collections --- [2:58:36] raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/forge/amalgam.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/forge/breaks.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/forge/bsl/lang/bsl-lang-specific-checks.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/forge/bsl/lang/reader.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/forge/bsl/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/forge/choose-lang-specific.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/forge/core/lang/reader.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/forge/core/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/forge/decode-wheat-lang/encode-wheat.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/forge/decode-wheat-lang/lang/reader.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/forge/decode-wheat-lang/util.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/forge/demo/life.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/forge/drracket-gui.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/forge/drracket-link.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/forge/evaluator.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge/basic-core.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge/basic.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge/check.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge/coercing-ints.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge/graphs.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge/simple-graph.rkt" check.rkt: racket test: non-zero exit: 1 raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge/tristan-bug.rkt" coercing-ints.rkt: racket test: non-zero exit: 1 raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge/unbound-identifier-bug.rkt" graphs.rkt: racket test: non-zero exit: 1 raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge-core/basic-relation.rkt" simple-graph.rkt: racket test: non-zero exit: 1 raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge-core/contrasting.rkt" tristan-bug.rkt: racket test: non-zero exit: 1 raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge-core/evaluating.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge-core/extending-ints.rkt" basic-relation.rkt: racket test: non-zero exit: 1 raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge-core/graphs.rkt" contrasting.rkt: racket test: non-zero exit: 1 raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge-core/import1.rkt" evaluating.rkt: racket test: non-zero exit: 1 raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/forge/example/forge-core/import2.rkt" extending-ints.rkt: racket test: #<intexpr/maybe: contract violation expected: node? given: 5 in: the 1st argument of (-> node? #:info nodeinfo? #:op symbol? node/int?) contract from: (function expr->intexpr/maybe) blaming: /forge/lang/ast.rkt (assuming the contract is correct) at: /forge/lang/ast.rkt:91:18 context...: /home/root/racket/collects/racket/contract/private/blame.rkt:346:0: raise-blame-error .../private/arrow-higher-order.rkt:387:44 /home/root/racket/collects/racket/private/kw.rkt:2096:33: kw-chaperone .../private/map.rkt:40:19: loop [repeats 1 more time] /home/root/user/.local/share/racket/8.9/pkgs/forge/lang/ast.rkt:244:11: intintexpr/maybe: contract violation expected: node? given: 5 in: the 1st argument of (-> node? #:info nodeinfo? #:op symbol? node/int?) contract from: (function expr->intexpr/maybe) blaming: /forge/lang/ast.rkt (assuming the contract is correct) at: /forge/lang/ast.rkt:91:18 context...: /home/root/racket/collects/racket/contract/private/blame.rkt:346:0: raise-blame-error .../private/arrow-higher-order.rkt:387:44 /home/root/racket/collects/racket/private/kw.rkt:2096:33: kw-chaperone .../private/map.rkt:40:19: loop [repeats 1 more time] /home/root/user/.local/share/racket/8.9/pkgs/forge/lang/ast.rkt:244:11: int [line=48, column=16, offset=941] location...: /home/root/user/.local/share/racket/8.9/pkgs/forge/example/forge/transition-system.rkt:48:16 context...: /home/root/user/.local/share/racket/8.9/pkgs/brag-lib/brag/private/internal-support.rkt:16:3 /home/root/user/.local/share/racket/8.9/pkgs/forge/lang/reader.rkt:70:0: read-syntax /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:417:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:419:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:492:19 The time is now Monday, May 8th, 2023 11:01:42pm