The time is now Thursday, June 27th, 2024 11:42:34am (/usr/bin/env PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto termination && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 180 --drdr --package termination) Resolved "termination" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "2c90c2291e0b3745974023fbb5085ad9fde944ce") (dependencies . (("profile-lib") ("r5rs-lib") ("rackunit-lib") ("base") ("typed-racket-lib") ("typed-racket-more") ("bnf") ("set-extras") ("unreachable") ("traces"))) (description . "Dynamic enforcement of size-change termination") (modules . ((lib "termination/tests/Dyn/benchmarks/cm/interp-sum.rkt") (lib "termination/tests/Dyn/nfa.rkt") (lib "termination/tests/Dyn/isabelle-poly.rkt") (lib "termination/tests/Dyn/benchmarks/imp/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt") (lib "termination/tests/Dyn/benchmarks/common.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-map.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-gcd.rkt") (lib "termination/flow-analysis/utils.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-3.rkt") (lib "termination/tests/Dyn/isabelle-bar.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-merge.rkt") (lib "termination/flow-analysis/analyze.rkt") (lib "termination/tests/Dyn/benchmarks/cm/sum.rkt") (lib "termination/flow-analysis/main.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-5.rkt") (lib "termination/tests/Dyn/buggy-versions/nfa.rkt") (lib "termination/runtime-utils.rkt") (lib "termination/tests/Dyn/sct-5.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-2.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-tfact.rkt") (lib "termination/tests/Dyn/deriv.rkt") (lib "termination/tests/Dyn/isabelle-f.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-sum.rkt") (lib "termination/tests/Dyn/benchmarks/imp/fact.rkt") (lib "termination/tests/Dyn/destruct.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-6.rkt") (lib "termination/flow-analysis/lang.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-foo.rkt") (lib "termination/flow-analysis/parse.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt") (lib "termination/tests/Dyn/buggy-versions/destruct.rkt") (lib "termination/tests/Dyn/sct-6.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-perm.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-f.rkt") (lib "termination/tests/Dyn/acl2-fig-2.rkt") (lib "termination/tests/Dyn/sct-2.rkt") (lib "termination/syntax-utils.rkt") (lib "termination/tests/Dyn/lh-merge.rkt") (lib "termination/tests/Dyn/dderiv.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-poly.rkt") (lib "termination/tests/Dyn/isabelle-foo.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-range.rkt") (lib "termination/unsafe-apply-with-termination.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt") (lib "termination/tests/Dyn/lh-range.rkt") (lib "termination/tests/Dyn/sct-1.rkt") (lib "termination/tests/Dyn/acl2-fig-6.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt") (lib "termination/tests/Dyn/sct-4.rkt") (lib "termination/tests/Dyn/buggy-versions/deriv.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-1.rkt") (lib "termination/tests/Dyn/div.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt") (lib "termination/tests/Dyn/lh-map.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-bar.rkt") (lib "termination/tests/Dyn/ho-sct-ack.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-4.rkt") (lib "termination/tests/Dyn/ho-sct-fold.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt") (lib "termination/tests/Dyn/sct-3.rkt") (lib "termination/unsafe.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/fact.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt") (lib "termination/tests/Dyn/buggy-versions/dderiv.rkt") (lib "termination/tests/Dyn/lh-gcd.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt") (lib "termination/tests/Dyn/buggy-versions/div.rkt") (lib "termination/micro-benchmarks.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt") (lib "termination/tests/Dyn/benchmarks/imp/mergesort.rkt") (lib "termination/tests/Dyn/acl2-fig-7.rkt") (lib "termination/test.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-fact.rkt") (lib "termination/tests/Dyn/lh-tfact.rkt") (lib "termination/main.rkt") (lib "termination/size-change-graph.rkt") (lib "termination/tests/Dyn/buggy-versions/scheme.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-fact.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt") (lib "termination/flattened-parameter.rkt") (lib "termination/tests/Dyn/scheme.rkt") (lib "termination/tests/Dyn/benchmarks/cm/fact.rkt") (lib "termination/apply-with-termination.rkt") (lib "termination/tests/Dyn/benchmarks/cm/mergesort.rkt") (lib "termination/tests/Dyn/isabelle-perm.rkt") (lib "termination/tests/Dyn/ho-sct-fg.rkt"))) (name . "termination") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/termination.zip") (tags . ("contracts" "termination"))) 00: Resolved "bnf" via file:///home/root//catalogs/built/catalog 00: Resolved "set-extras" via file:///home/root//catalogs/built/catalog 01: Resolved "unreachable" via file:///home/root//catalogs/built/catalog Resolved "traces" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "f542358905c861c3c5a419ab5d1062203db5c34d") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("typed-struct-props"))) (description . "Concise Typed Racket syntax for declaring recursive data in BNF") (modules . ((lib "bnf/main.rkt") (lib "bnf/tests.rkt"))) (name . "bnf") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/bnf.zip") (tags . ("bnf" "data" "grammar" "typed-racket"))) pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "2bf1c65c8ac886cda8d3b1758d45a7a467368921") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more"))) (description . "Some conveniences for set, including fancy unicode aliases and more comprehension forms") (modules . ((lib "set-extras/tests.rkt") (lib "set-extras/main.rkt"))) (name . "set-extras") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/set-extras.zip") (tags . ("set" "typed-racket" "unicode"))) pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "5cecf00647abe3ca8d8723ff9d03fb4c7ec27fa1") (dependencies . (("base"))) (description . "Utilities for expressing supposedly unreachable code") (modules . ((lib "unreachable/main.rkt") (lib "unreachable/test.rkt"))) (name . "unreachable") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/unreachable.zip") (tags . ("absurd" "case" "cond" "dead-code" "unreachable"))) pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "9120483b3cd247f1db932a40d3e5c8bdbbb336b0") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("redex-gui-lib"))) (description . "Tracing utilities for functions and hash-tables, similar to `traces` from `redex`") (modules . ((lib "traces/typed.rkt") (lib "traces/test.rkt") (lib "traces/main.rkt"))) (name . "traces") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/traces.zip") (tags . ("debugging" "graph" "traces"))) Resolved "typed-struct-props" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "racket@suzanne.soy") (checksum . "2c20a82a50144b62982fb39ec1ee380457324411") (dependencies . (("base") ("rackunit-lib") ("typed-racket-lib") ("typed-racket-more") ("type-expander") ("scribble-lib") ("racket-doc") ("typed-racket-doc"))) (description . "Some struct type properties in Typed/Racket, in a more type-safe way.\r\n\r\nThe API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.") (modules . ((lib "typed-struct-props/test/test-none-poly.rkt") (lib "typed-struct-props/main.rkt") (lib "typed-struct-props/test/test-write.rkt") (lib "typed-struct-props/test/test-poly.rkt") (lib "typed-struct-props/test/test-equal+hash-poly.rkt") (lib "typed-struct-props/test/test-none.rkt") (lib "typed-struct-props/test/test-after.rkt") (lib "typed-struct-props/test/test-parent.rkt") (lib "typed-struct-props/test/test-equal+hash.rkt") (lib "typed-struct-props/test/test-write+equal+hash.rkt") (lib "typed-struct-props/test/test-write+equal+hash-poly.rkt") (lib "typed-struct-props/test/test-write-poly.rkt") (lib "typed-struct-props/scribblings/typed-struct-props.scrbl") (lib "typed-struct-props/test/test-child.rkt"))) (name . "typed-struct-props") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/typed-struct-props.zip") (tags . ("structs" "typed-racket"))) Resolved "type-expander" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "racket@suzanne.soy") (checksum . "c72026d9de1b56b9b50112d71f2d0eeb61bb6220") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("typed-racket-lib") ("typed-racket-more") ("hyper-literate") ("auto-syntax-e") ("debug-scopes") ("version-case") ("scribble-lib") ("racket-doc") ("typed-racket-more") ("typed-racket-doc") ("scribble-enhanced") ("mutable-match-lambda"))) (description . "Type expanders for typed/racket, which work like match expanders for match") (modules . ((lib "type-expander/identifiers.rkt") (lib "type-expander/test/base-lang-test-3.rkt") (lib "type-expander/test/lang-test-3.rkt") (lib "type-expander/scribblings/contracts-to-types.scrbl") (lib "type-expander/test/test-contracts-to-types.rkt") (lib "type-expander/lang/lang/reader.rkt") (lib "type-expander/test/base-lang-test-2.rkt") (lib "type-expander/expander.rkt") (lib "type-expander/more-expanders.hl.rkt") (lib "type-expander/parameterize-lexical-context.rkt") (lib "type-expander/test/lang-test-2.rkt") (lib "type-expander/lang/main.rkt") (lib "type-expander/test/type-expander-test.rkt") (lib "type-expander/test/lang-test-1.rkt") (lib "type-expander/scribblings/deprecated-colon.scrbl") (lib "type-expander/base.rkt") (lib "type-expander/dbg.rkt") (lib "type-expander/test/readme.rkt") (lib "type-expander/utils.rkt") (lib "type-expander/type-expander.hl.rkt") (lib "type-expander/contracts-to-types.rkt") (lib "type-expander/scribblings/type-expander.scrbl") (lib "type-expander/lang.rkt") (lib "type-expander/scribblings/type-expander-implementation.scrbl") (lib "type-expander/lang/reader.rkt") (lib "type-expander/main.rkt") (lib "type-expander/base/lang/reader.rkt") (lib "type-expander/test/base-lang-test-1.rkt"))) (name . "type-expander") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/type-expander.zip") (tags . ("typed-racket"))) 01: Resolved "hyper-literate" via file:///home/root//catalogs/built/catalog 01: Resolved "auto-syntax-e" via file:///home/root//catalogs/built/catalog 00: Resolved "debug-scopes" via file:///home/root//catalogs/built/catalog 00: Resolved "version-case" via file:///home/root//catalogs/built/catalog 01: Resolved "scribble-enhanced" via file:///home/root//catalogs/built/catalog Resolved "mutable-match-lambda" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "racket@suzanne.soy") (checksum . "63866b76a13b2bb771af373926f8cb5e08023986") (dependencies . (("base") ("rackunit-lib") ("at-exp-lib") ("scheme-lib") ("scribble-lib") ("typed-racket-lib") ("typed-racket-more") ("typed-racket-doc") ("scribble-enhanced") ("sexp-diff") ("tr-immutable") ("typed-map-lib") ("debug-scopes") ("syntax-color-lib") ("scribble-lib") ("racket-doc") ("rackunit-doc") ("scribble-doc") ("rackunit-doc"))) (description . "Some tools which help build hyper-literate programs. For now, this only contains a few changes from scribble/lp2, including support for typed/racket literate programs.") (modules . ((lib "hyper-literate/comments/syntax-properties.rkt") (lib "hyper-literate/test/comments/test-comments-round-trip.rkt") (lib "hyper-literate/lang/first-line-utils.rkt") (lib "hyper-literate/private/no-auto-require.rkt") (lib "hyper-literate/comments/hide-comments.rkt") (lib "hyper-literate/scribblings/hyper-literate.scrbl") (lib "hyper-literate/test/comments/annotate-syntax-typed.rkt") (lib "hyper-literate/comments/hide-comments-typed.rkt") (lib "hyper-literate/lang/reader.rkt") (lib "hyper-literate/comment-reader.rkt") (lib "hyper-literate/lang.rkt") (lib "hyper-literate/private/chunks-toc-prefix.rkt") (lib "hyper-literate/restore-comments.rkt") (lib "hyper-literate/comments/syntax-properties-typed.rkt") (lib "hyper-literate/main.rkt") (lib "hyper-literate/test/test-chunks-order.rkt") (lib "hyper-literate/test/comments/annotate-syntax.rkt") (lib "hyper-literate/test/comments/same-syntax.rkt") (lib "hyper-literate/spoiler1.rkt") (lib "hyper-literate/private/lp.rkt") (lib "hyper-literate/comments/restore-comments.rkt") (lib "hyper-literate/test/test.hl.rkt") (lib "hyper-literate/test/comments/same-syntax-typed.rkt") (lib "hyper-literate/diff1.rkt") (lib "hyper-literate/lang/meta-first-line.rkt") (lib "hyper-literate/test/test-doc.rkt") (lib "hyper-literate/private/common.rkt") (lib "hyper-literate/scribblings/diff1-example.hl.rkt") (lib "hyper-literate/test/test2.hl.rkt") (lib "hyper-literate/comments/restore-comments-typed.rkt"))) (name . "hyper-literate") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/hyper-literate.zip") (tags . ("documentation" "lang" "language" "literate-programming"))) pkg: catalog response: #hash((author . "racket@suzanne.soy") (checksum . "f125fc1a3a139920d69a31b755260a51dac5e61a") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "For syntax pattern variables: instead of raising an error, x is roughly equivalent to (syntax->datum #'x).") (modules . ((lib "auto-syntax-e/scribblings/auto-syntax-e.scrbl") (lib "auto-syntax-e/test/test-meta.rkt") (lib "auto-syntax-e/test/test-auto-syntax-e.rkt") (lib "auto-syntax-e/main.rkt") (lib "auto-syntax-e/utils.rkt"))) (name . "auto-syntax-e") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/auto-syntax-e.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "racket@suzanne.soy") (checksum . "0c47ce71950b3916f803d55d26750d0c19329302") (dependencies . (("base") ("pretty-format") ("rackunit-lib") ("reprovide-lang") ("scribble-lib") ("racket-doc") ("scribble-enhanced"))) (description . "Some utilities which help debugging scope-related issues for unhygienic macros") (modules . ((lib "debug-scopes/named-scopes.rkt") (lib "debug-scopes/superscripts.rkt") (lib "debug-scopes/named-scopes/override.rkt") (lib "debug-scopes/test/named-scopes-test-def.rkt") (lib "debug-scopes/scribblings/debug-scopes.scrbl") (lib "debug-scopes/main.rkt") (lib "debug-scopes/test/named-scopes-test-use.rkt") (lib "debug-scopes/named-scopes/exptime.rkt") (lib "debug-scopes/named-scopes-sli-parameter.rkt") (lib "debug-scopes/named-scopes/dummy-lang.rkt"))) (name . "debug-scopes") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/debug-scopes.zip") (tags . ("debug" "debugging" "scopes" "syntax"))) pkg: catalog response: #hash((author . "samth@racket-lang.org dyoo@hashcollision.org") (checksum . "d8a631436e49dfc84cc7c0c4077806fc36a79d9a") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "Conditional behavior based on the version of Racket") (modules . ((lib "version-case/version-case.scrbl") (lib "version-case/main.rkt") (lib "version-case/version-misc.rkt") (lib "version-case/version-case.rkt") (lib "version-case/test-version-case.rkt") (lib "version-case/private/new-version-case.rkt"))) (name . "version-case") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/version-case.zip") (tags . ())) pkg: catalog response: #hash((author . "racket@suzanne.soy") (checksum . "9cdb741d10d321dadd97b7370c664a494bdb24b5") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("scheme-lib") ("compatibility-lib") ("slideshow-lib") ("typed-racket-lib") ("reprovide-lang") ("mutable-match-lambda") ("scribble-lib") ("racket-doc") ("at-exp-lib") ("typed-racket-more") ("typed-racket-doc") ("scribble-doc"))) (description . "Temporary package, will eventually be merged into the scribble-math and hyper-literate packages. Do not use.") (modules . ((lib "scribble-enhanced/scribblings/scribble-enhanced-template.lp2.rkt") (lib "scribble-enhanced/racket.rkt") (lib "scribble-enhanced/doc.rkt") (lib "scribble-enhanced/manual-form.rkt") (lib "scribble-enhanced/scribblings/scribble-enhanced.scrbl") (lib "scribble-enhanced/unicode-chars.sty.rkt") (lib "scribble-enhanced/math.rkt") (lib "scribble-enhanced/with-manual.rkt") (lib "scribble-enhanced/manual-scheme.rkt") (lib "scribble-enhanced/forkmeongithub.rkt") (lib "scribble-enhanced/scribblings/scribble-enhanced-example.lp2.rkt") (lib "scribble-enhanced/main.rkt"))) (name . "scribble-enhanced") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/scribble-enhanced.zip") (tags . ("deprecated"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "5b7cc743c769ec2829189e8fda21bae8c2881ab0") (dependencies . (("base") ("kw-utils") ("rackunit-lib") ("at-exp-lib") ("scribble-lib") ("sandbox-lib") ("racket-doc"))) (description . "") (modules . ((lib "mutable-match-lambda/docs/mutable-match-lambda.scrbl") (lib "mutable-match-lambda/syntax-to-string.rkt") (lib "mutable-match-lambda/prop-object-name.rkt") (lib "mutable-match-lambda/make-clause-proc.rkt") (lib "mutable-match-lambda/mutable-match-lambda-procedure.rkt") (lib "mutable-match-lambda/communication.rkt") (lib "mutable-match-lambda/let-inferred-name.rkt") (lib "mutable-match-lambda/main.rkt"))) (name . "mutable-match-lambda") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mutable-match-lambda.zip") (tags . ("deprecated"))) 01: Resolved "sexp-diff" via file:///home/root//catalogs/built/catalog 01: Resolved "tr-immutable" via file:///home/root//catalogs/built/catalog Resolved "typed-map-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stamourv@racket-lang.org wjb@williamjbowman.com") (checksum . "c5ccecf349f34183703025886f964498dd67d939") (dependencies . (("sexp-diff-lib") ("sexp-diff-doc") ("sexp-diff-test"))) (description . "Diffs s-expressions based on Levenshtein-like edit distance.") (modules . ()) (name . "sexp-diff") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sexp-diff.zip") (tags . ())) pkg: catalog response: #hash((author . "racket@suzanne.soy") (checksum . "ffcd64db74e1ff2118fbb4cb5c8bb5c4c7495d19") (dependencies . (("base") ("rackunit-lib") ("typed-racket-lib") ("typed-racket-more") ("typed-map-lib") ("scribble-lib") ("racket-doc") ("typed-racket-doc"))) (description . "Helpers to write macros using typed/racket at phase 1. Heavily unstable, WIP, experimental, not documented yet. I'm currently dogfooding this to work out the best strategy.") (modules . ((lib "tr-immutable/typed-syntax/typed-syntax-convert.rkt") (lib "tr-immutable/typed-syntax.rkt") (lib "tr-immutable/private/unsafe.rkt") (lib "tr-immutable/typed-syntax/typed-syntax-convert2.rkt") (lib "tr-immutable/main.rkt") (lib "tr-immutable/scribblings/tr-immutable.scrbl") (lib "tr-immutable/typed-syntax/typed-syntax-predicate.rkt") (lib "tr-immutable/typed-syntax/typed-prefab-declarations.rkt") (lib "tr-immutable/test/test-vector.rkt") (lib "tr-immutable/typed-syntax/typed-pairof-predicate.rkt"))) (name . "tr-immutable") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/tr-immutable.zip") (tags . ("experimental" "syntax" "typed-racket" "unstable"))) pkg: catalog response: #hash((author . "racket@suzanne.soy") (checksum . "894323b424d4026922910ee90dfc01ea6df423b2") (dependencies . (("base") ("typed-racket-lib"))) (description . "Implementation of typed-map") (modules . ((lib "typed-map/main.rkt"))) (name . "typed-map-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/typed-map-lib.zip") (tags . ("typed-map"))) 01: Resolved "sexp-diff-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "sexp-diff-doc" via file:///home/root//catalogs/built/catalog Resolved "sexp-diff-test" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stamourv@racket-lang.org wjb@williamjbowman.com") (checksum . "136a3f4140e7da57c6eeb08ad23bedaea82ce163") (dependencies . (("base"))) (description . "Diffs s-expressions based on Levenshtein-like edit distance, library only.") (modules . ((lib "sexp-diff/stx-diff.rkt") (lib "sexp-diff/utils.rkt") (lib "sexp-diff/sexp-diff.rkt") (lib "sexp-diff/main.rkt"))) (name . "sexp-diff-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sexp-diff-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "stamourv@racket-lang.org wjb@williamjbowman.com") (checksum . "81522e1f97103e02e2599ab1dad1f430155cd511") (dependencies . (("base") ("scribble-lib") ("rackunit-lib") ("racket-doc") ("sexp-diff-lib"))) (description . "Diffs s-expressions based on Levenshtein-like edit distance, documentation.") (modules . ((lib "sexp-diff-doc/sexp-diff/sexp-diff.scrbl"))) (name . "sexp-diff-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sexp-diff-doc.zip") (tags . ())) pkg: catalog response: #hash((author . "stamourv@racket-lang.org wjb@williamjbowman.com") (checksum . "dbb56a728dd53b2e1833a14b3a5e379baa4cc7ee") (dependencies . (("base") ("rackunit-lib") ("sexp-diff-lib"))) (description . "Tests for sexp-diff-lib") (modules . ((lib "sexp-diff/tests/stx-diff.rkt") (lib "sexp-diff/tests/sexp-diff.rkt"))) (name . "sexp-diff-test") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sexp-diff-test.zip") (tags . ())) 01: Resolved "pretty-format" via file:///home/root//catalogs/built/catalog Resolved "reprovide-lang" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "6226d638131cf11579d58ee8426a7cbd5c544414") (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 . "alexander@knauth.org") (checksum . "d660bdf24ebcc0537fa16d19fc6b0d954b52d494") (dependencies . (("base") ("reprovide-lang-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "a #lang for reproviding modules") (modules . ((lib "reprovide/test/use-glob-in.rkt") (lib "reprovide/test/use.rkt") (lib "reprovide/test/example-directory/a.rkt") (lib "reprovide/test/other-subdir/indirect-glob-in.rkt") (lib "reprovide/test/use-combine-in-except.rkt") (lib "reprovide/test/test-combine-in-fallback.rkt") (lib "reprovide/scribblings/reprovide.scrbl") (lib "reprovide/test/test-combine-in-except.rkt") (lib "reprovide/test/example-directory/b.rkt") (lib "reprovide/test/test.rkt") (lib "reprovide/test/use-combine-in-fallback.rkt") (lib "reprovide/test/example-directory/c.rkt"))) (name . "reprovide-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/reprovide-lang.zip") (tags . ("provide" "require"))) Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "1c2798f6c933a443b6abe04db2607a283c03c6a6") (dependencies . (("base") ("lang-file-lib") ("srfi-lite-lib") ("syntax-macro-lang"))) (description . "a #lang for reproviding modules") (modules . ((lib "reprovide/require-transformer/combine-in-except.rkt") (lib "reprovide/require-transformer/glob-in.rkt") (lib "reprovide/main.rkt") (lib "reprovide/require-transformer/private/this-expression-source-file.rkt") (lib "reprovide/require-transformer/combine-in-fallback.rkt") (lib "reprovide/reprovide.rkt") (lib "reprovide/require-transformer/directory-in.rkt"))) (name . "reprovide-lang-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/reprovide-lang-lib.zip") (tags . ("provide" "require"))) 01: Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-macro-lang" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "9e4df2ae9f66e778dbf27680bbd829100503d41a") (dependencies . (("base") ("rackunit-lib"))) (description . "Functions for dealing with #lang files") (modules . ((lib "lang-file/test/literal.rkt") (lib "lang-file/test/tuvalu.rkt") (lib "lang-file/read-lang-file.rkt") (lib "lang-file/test/interp.rkt"))) (name . "lang-file-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lang-file-lib.zip") (tags . ("file" "lang"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "dee99f490da3215d7f6189658ba47860e4fc5e6a") (dependencies . (("base"))) (description . "experimental racket module language for creating languages, inspired by syntax-lang") (modules . ((lib "syntax/macro-lang.rkt") (lib "tests/syntax/macro-lang/test.rkt") (lib "tests/syntax/macro-lang/the-lang.rkt"))) (name . "syntax-macro-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-macro-lang.zip") (tags . ("lang" "syntax"))) Resolved "kw-utils" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "adbe630986a7c856282668c7790cc298e1d42ddb") (dependencies . (("base") ("sweet-exp-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("rackjure"))) (description . "misc kw utils") (modules . ((lib "kw-utils/kw-map.rkt") (lib "kw-utils/docs/keyword-hash.scrbl") (lib "kw-utils/docs/kw-utils.scrbl") (lib "kw-utils/kw-hash-lambda.rkt") (lib "kw-utils/docs/lambda-kwrest.scrbl") (lib "kw-utils/mapper.rkt") (lib "kw-utils/docs/keyword-lists.scrbl") (lib "kw-utils/docs/keyword-apply-sort.scrbl") (lib "kw-utils/docs/higher-order-functions.scrbl") (lib "kw-utils/keyword-app.rkt") (lib "kw-utils/arity+keywords.rkt") (lib "kw-utils/docs/arity+keywords.scrbl") (lib "kw-utils/keyword-lambda.rkt") (lib "kw-utils/docs/partial.scrbl") (lib "kw-utils/keyword-apply-sort.rkt") (lib "kw-utils/partial.rkt") (lib "kw-utils/kw-apply.rkt") (lib "kw-utils/docs/mapper.scrbl") (lib "kw-utils/arity+keywords/syntax.rkt") (lib "kw-utils/kw-lists-lambda.rkt") (lib "kw-utils/kw-hash.rkt") (lib "kw-utils/kw-hash/contract.rkt") (lib "kw-utils/lambda-kwrest.rkt") (lib "kw-utils/docs/kw-hash.scrbl") (lib "kw-utils/docs/kw-lists-lambda.scrbl") (lib "kw-utils/docs/kw-map.scrbl") (lib "kw-utils/docs/keyword-lambda.scrbl"))) (name . "kw-utils") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/kw-utils.zip") (tags . ("keywords"))) 01: Resolved "sweet-exp-lib" via file:///home/root//catalogs/built/catalog Resolved "rackjure" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org asumu@ccs.neu.edu") (checksum . "ba76cf732f31f6ebbf48f1aa36b2d26c5cbdeefa") (dependencies . (("base"))) (description . "Implementation part of sweet-exp") (modules . ((lib "sweet-exp/main.rkt") (lib "sweet-exp/reader.rkt") (lib "sweet-exp/read-sig.rkt") (lib "sweet-exp/modern/process-curly.rkt") (lib "sweet-exp/racket/init.rkt") (lib "sweet-exp/modern.rkt") (lib "sweet-exp/sugar.rkt") (lib "sweet-exp/indent.rkt") (lib "sweet-exp/util.rkt") (lib "sweet-exp/sweet.rkt"))) (name . "sweet-exp-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sweet-exp-lib.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "racket@greghendershott.com") (checksum . "364c6a924488c88e309d6035e380cf107bf21a23") (dependencies . (("base" #:version "6.3") ("rackunit-lib") ("threading-lib" #:version "1.1") ("rackunit-lib") ("racket-doc") ("sandbox-lib") ("scribble-lib") ("threading-doc"))) (description . "Some Clojure-inspired idioms.") (modules . ((lib "rackjure/alist.rkt") (lib "rackjure/bench.rkt") (lib "rackjure/test.rkt") (lib "rackjure/lambda-reader.rkt") (lib "rackjure/rackjure.rkt") (lib "rackjure/main.rkt") (lib "rackjure/conditionals.rkt") (lib "rackjure/egal.rkt") (lib "rackjure/lang/language-info.rkt") (lib "rackjure/lang/runtime-config.rkt") (lib "rackjure/lang/reader.rkt") (lib "rackjure/base/lang/reader.rkt") (lib "rackjure/dict.rkt") (lib "rackjure/threading.rkt") (lib "rackjure/base.rkt") (lib "rackjure/app.rkt") (lib "rackjure/str.rkt") (lib "rackjure/rackjure.scrbl") (lib "rackjure/check-expansion.rkt") (lib "rackjure/utils.rkt"))) (name . "rackjure") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackjure.zip") (tags . ("language"))) 01: Resolved "threading-lib" via file:///home/root//catalogs/built/catalog Resolved "threading-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "634a675ef344003c030dcca10021bfb42abb6fec") (dependencies . (("base" #:version "6.3"))) (description . "implementation (no documentation) for “threading”") (modules . ((lib "threading/main.rkt"))) (name . "threading-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "72e58dde88faeb4c86b53b210afa1ee68139b169") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("threading-lib"))) (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 . ())) pkg: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "634a675ef344003c030dcca10021bfb42abb6fec" #t) pkg: creating link to # pkg: updating db with "threading-doc" to '#s(pkg-info (catalog "threading-doc") "72e58dde88faeb4c86b53b210afa1ee68139b169" #t) pkg: creating single-collection link to # pkg: updating db with "set-extras" to '#s((sc-pkg-info pkg-info 3) (catalog "set-extras") "2bf1c65c8ac886cda8d3b1758d45a7a467368921" #t "set-extras") pkg: creating single-collection link to # pkg: updating db with "unreachable" to '#s((sc-pkg-info pkg-info 3) (catalog "unreachable") "5cecf00647abe3ca8d8723ff9d03fb4c7ec27fa1" #t "unreachable") pkg: creating single-collection link to # pkg: updating db with "traces" to '#s((sc-pkg-info pkg-info 3) (catalog "traces") "9120483b3cd247f1db932a40d3e5c8bdbbb336b0" #t "traces") pkg: creating single-collection link to # pkg: updating db with "termination" to '#s((sc-pkg-info pkg-info 3) (catalog "termination") "2c90c2291e0b3745974023fbb5085ad9fde944ce" #f "termination") pkg: creating single-collection link to # pkg: updating db with "bnf" to '#s((sc-pkg-info pkg-info 3) (catalog "bnf") "f542358905c861c3c5a419ab5d1062203db5c34d" #t "bnf") pkg: creating single-collection link to # pkg: updating db with "typed-struct-props" to '#s((sc-pkg-info pkg-info 3) (catalog "typed-struct-props") "2c20a82a50144b62982fb39ec1ee380457324411" #t "typed-struct-props") pkg: creating single-collection link to # pkg: updating db with "type-expander" to '#s((sc-pkg-info pkg-info 3) (catalog "type-expander") "c72026d9de1b56b9b50112d71f2d0eeb61bb6220" #t "type-expander") pkg: creating single-collection link to # pkg: updating db with "hyper-literate" to '#s((sc-pkg-info pkg-info 3) (catalog "hyper-literate") "63866b76a13b2bb771af373926f8cb5e08023986" #t "hyper-literate") pkg: creating link to # pkg: updating db with "sexp-diff" to '#s(pkg-info (catalog "sexp-diff") "c5ccecf349f34183703025886f964498dd67d939" #t) pkg: creating link to # pkg: updating db with "sexp-diff-lib" to '#s(pkg-info (catalog "sexp-diff-lib") "136a3f4140e7da57c6eeb08ad23bedaea82ce163" #t) pkg: creating single-collection link to # pkg: updating db with "sexp-diff-doc" to '#s((sc-pkg-info pkg-info 3) (catalog "sexp-diff-doc") "81522e1f97103e02e2599ab1dad1f430155cd511" #t "sexp-diff-doc") pkg: creating link to # pkg: updating db with "sexp-diff-test" to '#s(pkg-info (catalog "sexp-diff-test") "dbb56a728dd53b2e1833a14b3a5e379baa4cc7ee" #t) pkg: creating single-collection link to # pkg: updating db with "tr-immutable" to '#s((sc-pkg-info pkg-info 3) (catalog "tr-immutable") "ffcd64db74e1ff2118fbb4cb5c8bb5c4c7495d19" #t "tr-immutable") pkg: creating link to # pkg: updating db with "typed-map-lib" to '#s(pkg-info (catalog "typed-map-lib") "894323b424d4026922910ee90dfc01ea6df423b2" #t) pkg: creating single-collection link to # pkg: updating db with "auto-syntax-e" to '#s((sc-pkg-info pkg-info 3) (catalog "auto-syntax-e") "f125fc1a3a139920d69a31b755260a51dac5e61a" #t "auto-syntax-e") pkg: creating single-collection link to # pkg: updating db with "debug-scopes" to '#s((sc-pkg-info pkg-info 3) (catalog "debug-scopes") "0c47ce71950b3916f803d55d26750d0c19329302" #t "debug-scopes") pkg: creating link to # pkg: updating db with "pretty-format" to '#s(pkg-info (catalog "pretty-format") "6226d638131cf11579d58ee8426a7cbd5c544414" #t) pkg: creating link to # pkg: updating db with "reprovide-lang" to '#s(pkg-info (catalog "reprovide-lang") "d660bdf24ebcc0537fa16d19fc6b0d954b52d494" #t) pkg: creating link to # pkg: updating db with "reprovide-lang-lib" to '#s(pkg-info (catalog "reprovide-lang-lib") "1c2798f6c933a443b6abe04db2607a283c03c6a6" #t) pkg: creating link to # pkg: updating db with "lang-file-lib" to '#s(pkg-info (catalog "lang-file-lib") "9e4df2ae9f66e778dbf27680bbd829100503d41a" #t) pkg: creating link to # pkg: updating db with "syntax-macro-lang" to '#s(pkg-info (catalog "syntax-macro-lang") "dee99f490da3215d7f6189658ba47860e4fc5e6a" #t) pkg: creating single-collection link to # pkg: updating db with "version-case" to '#s((sc-pkg-info pkg-info 3) (catalog "version-case") "d8a631436e49dfc84cc7c0c4077806fc36a79d9a" #t "version-case") pkg: creating single-collection link to # pkg: updating db with "scribble-enhanced" to '#s((sc-pkg-info pkg-info 3) (catalog "scribble-enhanced") "9cdb741d10d321dadd97b7370c664a494bdb24b5" #t "scribble-enhanced") pkg: creating link to # pkg: updating db with "mutable-match-lambda" to '#s(pkg-info (catalog "mutable-match-lambda") "5b7cc743c769ec2829189e8fda21bae8c2881ab0" #t) pkg: creating link to # pkg: updating db with "kw-utils" to '#s(pkg-info (catalog "kw-utils") "adbe630986a7c856282668c7790cc298e1d42ddb" #t) pkg: creating link to # pkg: updating db with "sweet-exp-lib" to '#s(pkg-info (catalog "sweet-exp-lib") "ba76cf732f31f6ebbf48f1aa36b2d26c5cbdeefa" #t) pkg: creating link to # pkg: updating db with "rackjure" to '#s(pkg-info (catalog "rackjure") "364c6a924488c88e309d6035e380cf107bf21a23" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of termination: bnf set-extras unreachable traces dependencies of bnf: typed-struct-props dependencies of typed-struct-props: type-expander dependencies of type-expander: hyper-literate auto-syntax-e debug-scopes version-case scribble-enhanced mutable-match-lambda dependencies of hyper-literate: sexp-diff tr-immutable typed-map-lib dependencies of sexp-diff: sexp-diff-lib sexp-diff-doc sexp-diff-test dependencies of debug-scopes: pretty-format reprovide-lang dependencies of reprovide-lang: reprovide-lang-lib dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang dependencies of mutable-match-lambda: kw-utils dependencies of kw-utils: sweet-exp-lib rackjure dependencies of rackjure: threading-lib threading-doc raco setup: version: 8.13.0.9 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: snapshot raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/snapshot/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/snapshot/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/snapshot/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 --- [16:42:44] raco setup: updating: /home/root/user/.local/share/racket/snapshot/share/info-cache.rktd raco setup: --- pre-installing collections --- [16:42:44] raco setup: --- installing foreign libraries --- [16:42:44] raco setup: --- installing shared files --- [16:42:44] raco setup: --- compiling collections --- [16:42:44] raco setup: making: /auto-syntax-e raco setup: in /auto-syntax-e raco setup: in /auto-syntax-e/scribblings raco setup: making: /auto-syntax-e/scribblings raco setup: making: /auto-syntax-e/test raco setup: in /auto-syntax-e/test raco setup: making: /bnf raco setup: in /bnf raco setup: in /typed-struct-props raco setup: in /type-expander raco setup: in /debug-scopes raco setup: in /debug-scopes/named-scopes raco setup: in /pretty-format/pretty-format raco setup: in /reprovide-lang-lib/reprovide raco setup: in /reprovide-lang-lib/reprovide/require-transformer raco setup: in /lang-file-lib/lang-file raco setup: in /reprovide-lang-lib/reprovide/require-transformer/private raco setup: in /syntax-macro-lang/syntax raco setup: in /hyper-literate/lang raco setup: in /hyper-literate raco setup: in /hyper-literate/comments raco setup: in /sexp-diff-lib/sexp-diff raco setup: in /hyper-literate/private raco setup: in /scribble-enhanced raco setup: in /mutable-match-lambda/mutable-match-lambda raco setup: in /kw-utils/kw-utils raco setup: making: /debug-scopes raco setup: in /debug-scopes raco setup: in /debug-scopes/named-scopes raco setup: in /debug-scopes/scribblings raco setup: making: /debug-scopes/named-scopes raco setup: in /debug-scopes/named-scopes raco setup: making: /debug-scopes/scribblings raco setup: making: /debug-scopes/test raco setup: in /debug-scopes/test raco setup: making: /hyper-literate raco setup: in /hyper-literate raco setup: in /hyper-literate/scribblings raco setup: in /hyper-literate/test raco setup: making: /hyper-literate/comments raco setup: in /hyper-literate/comments raco setup: in /tr-immutable raco setup: in /tr-immutable/typed-syntax raco setup: in /typed-map-lib/typed-map raco setup: making: /hyper-literate/lang raco setup: making: /hyper-literate/private raco setup: making: /hyper-literate/scribblings raco setup: making: /hyper-literate/test raco setup: in /hyper-literate/test raco setup: making: /hyper-literate/test/comments raco setup: in /hyper-literate/test/comments raco setup: making: /kw-utils/kw-utils raco setup: in /kw-utils/kw-utils raco setup: in /sweet-exp-lib/sweet-exp raco setup: in /sweet-exp-lib/sweet-exp/modern raco setup: in /kw-utils/kw-utils/docs raco setup: in /kw-utils/kw-utils/arity+keywords raco setup: in /kw-utils/kw-utils/kw-hash raco setup: making: /kw-utils/kw-utils/arity+keywords raco setup: making: /kw-utils/kw-utils/docs raco setup: making: /kw-utils/kw-utils/kw-hash raco setup: making: /lang-file-lib/lang-file raco setup: in /lang-file-lib/lang-file raco setup: making: /lang-file-lib/lang-file/test raco setup: in /lang-file-lib/lang-file/test raco setup: making: /mutable-match-lambda/mutable-match-lambda raco setup: in /mutable-match-lambda/mutable-match-lambda raco setup: in /mutable-match-lambda/mutable-match-lambda/docs raco setup: making: /mutable-match-lambda/mutable-match-lambda/docs raco setup: making: /pretty-format/pretty-format raco setup: in /pretty-format/pretty-format raco setup: in /pretty-format/pretty-format/scribblings raco setup: making: /pretty-format/pretty-format/scribblings raco setup: making: /pretty-format/typed raco setup: in /pretty-format/typed raco setup: making: /racket-test/tests/syntax raco setup: making: /racket-test/tests/syntax/contract raco setup: making: /racket-test/tests/syntax/tests raco setup: making: /rackjure/rackjure (rackjure) raco setup: in /rackjure/rackjure raco setup: in /threading-lib/threading raco setup: in /rackjure/rackjure/lang raco setup: making: /rackjure/rackjure/base raco setup: making: /rackjure/rackjure/base/lang raco setup: in /rackjure/rackjure/base/lang raco setup: making: /rackjure/rackjure/lang raco setup: in /rackjure/rackjure/lang raco setup: making: /reprovide-lang-lib/reprovide raco setup: making: /reprovide-lang-lib/reprovide/require-transformer raco setup: in /reprovide-lang-lib/reprovide/require-transformer raco setup: making: /reprovide-lang-lib/reprovide/require-transformer/private raco setup: making: /reprovide-lang/reprovide raco setup: in /reprovide-lang/reprovide raco setup: in /reprovide-lang/reprovide/scribblings raco setup: making: /reprovide-lang/reprovide/scribblings raco setup: making: /reprovide-lang/reprovide/test raco setup: in /reprovide-lang/reprovide/test raco setup: in /reprovide-lang/reprovide/test/example-directory raco setup: making: /reprovide-lang/reprovide/test/example-directory raco setup: making: /reprovide-lang/reprovide/test/other-subdir raco setup: in /reprovide-lang/reprovide/test/other-subdir raco setup: making: /scribble-enhanced raco setup: in /scribble-enhanced raco setup: in /scribble-enhanced/scribblings raco setup: making: /scribble-enhanced/scribblings raco setup: making: /set-extras raco setup: in /set-extras raco setup: making: /sexp-diff-doc raco setup: in /sexp-diff-doc raco setup: making: /sexp-diff-doc/sexp-diff raco setup: in /sexp-diff-doc/sexp-diff raco setup: making: /sexp-diff-lib/sexp-diff raco setup: making: /sexp-diff-test/sexp-diff raco setup: making: /sexp-diff-test/sexp-diff/tests raco setup: in /sexp-diff-test/sexp-diff/tests raco setup: making: /sweet-exp-lib/sweet-exp raco setup: in /sweet-exp-lib/sweet-exp raco setup: making: /sweet-exp-lib/sweet-exp/modern raco setup: making: /sweet-exp-lib/sweet-exp/racket raco setup: in /sweet-exp-lib/sweet-exp/racket raco setup: making: /syntax-macro-lang/syntax raco setup: making: /syntax-macro-lang/tests raco setup: making: /syntax-macro-lang/tests/syntax raco setup: making: /syntax-macro-lang/tests/syntax/macro-lang raco setup: in /syntax-macro-lang/tests/syntax/macro-lang raco setup: making: /termination raco setup: in /termination raco setup: in /termination/flow-analysis raco setup: in /unreachable raco setup: making: /termination/flow-analysis raco setup: making: /termination/tests raco setup: making: /termination/tests/ACL2 raco setup: making: /termination/tests/Dyn raco setup: in /termination/tests/Dyn raco setup: making: /termination/tests/Dyn/benchmarks raco setup: in /termination/tests/Dyn/benchmarks raco setup: making: /termination/tests/Dyn/benchmarks/cm raco setup: in /termination/tests/Dyn/benchmarks/cm raco setup: making: /termination/tests/Dyn/benchmarks/imp raco setup: in /termination/tests/Dyn/benchmarks/imp raco setup: making: /termination/tests/Dyn/benchmarks/unchecked raco setup: in /termination/tests/Dyn/benchmarks/unchecked raco setup: making: /termination/tests/Dyn/buggy-versions raco setup: in /termination/tests/Dyn/buggy-versions raco setup: making: /termination/tests/Isabelle raco setup: making: /termination/tests/LH raco setup: making: /threading-doc/scribblings raco setup: in /threading-doc/scribblings raco setup: making: /threading-lib/threading raco setup: making: /tr-immutable raco setup: in /tr-immutable raco setup: in /tr-immutable/private raco setup: in /tr-immutable/scribblings raco setup: making: /tr-immutable/private raco setup: making: /tr-immutable/scribblings raco setup: making: /tr-immutable/test raco setup: in /tr-immutable/test raco setup: making: /tr-immutable/typed-syntax raco setup: making: /traces raco setup: in /traces raco setup: making: /type-expander raco setup: in /type-expander raco setup: in /type-expander/lang raco setup: in /type-expander/scribblings raco setup: making: /type-expander/base raco setup: making: /type-expander/base/lang raco setup: in /type-expander/base/lang raco setup: making: /type-expander/lang raco setup: making: /type-expander/lang/lang raco setup: in /type-expander/lang/lang raco setup: making: /type-expander/licenses raco setup: making: /type-expander/scribblings raco setup: making: /type-expander/test raco setup: in /type-expander/test raco setup: in /version-case raco setup: in /version-case/private raco setup: making: /typed-map-lib/typed-map raco setup: making: /typed-struct-props raco setup: in /typed-struct-props raco setup: in /typed-struct-props/scribblings raco setup: making: /typed-struct-props/scribblings raco setup: making: /typed-struct-props/test raco setup: in /typed-struct-props/test raco setup: making: /unreachable raco setup: in /unreachable raco setup: making: /version-case (version-case) raco setup: in /version-case raco setup: making: /version-case/private raco setup: --- creating launchers --- [16:43:33] raco setup: --- installing man pages --- [16:43:34] raco setup: --- building documentation --- [16:43:34] raco setup: syncing: /auto-syntax-e/doc/auto-syntax-e raco setup: syncing: /debug-scopes/doc/debug-scopes raco setup: syncing: /hyper-literate/doc/hyper-literate raco setup: syncing: /kw-utils/kw-utils/doc/kw-utils raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /mutable-match-lambda/mutable-match-lambda/doc/mutable-match-lambda raco setup: syncing: /pretty-format/pretty-format/doc/pretty-format raco setup: syncing: /rackjure/rackjure/doc/rackjure raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: syncing: /reprovide-lang/reprovide/doc/reprovide raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced-example.lp2 raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced-template.lp2 raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: syncing: /sexp-diff-doc/sexp-diff/doc/sexp-diff raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /hyper-literate/doc/test.hl raco setup: syncing: /hyper-literate/doc/test2.hl raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: syncing: /tr-immutable/doc/tr-immutable raco setup: syncing: /type-expander/doc/type-expander raco setup: syncing: /type-expander/doc/type-expander-implementation raco setup: syncing: /typed-struct-props/doc/typed-struct-props raco setup: syncing: /version-case/doc/version-case raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [16:43:49] raco setup: --- post-installing collections --- [16:43:49] raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/apply-with-termination.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/flattened-parameter.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/analyze.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/lang.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/main.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/parse.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/utils.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/info.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/main.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/micro-benchmarks.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/runtime-utils.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/size-change-graph.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/syntax-utils.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/test.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/acl2-fig-2.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/acl2-fig-6.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/acl2-fig-7.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt" interp-sum.rkt: racket test: timeout after 180 seconds raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/common.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/div.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/dderiv.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/deriv.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/destruct.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/div.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/ho-sct-ack.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/ho-sct-fg.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/ho-sct-fold.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-bar.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-f.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-foo.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-perm.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-poly.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-gcd.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-map.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-merge.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-range.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-tfact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/nfa.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/scheme.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-1.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-2.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-3.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-4.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-5.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-6.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/unsafe-apply-with-termination.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/termination/unsafe.rkt" 8 /home/root//user/.local/share/racket/snapshot/pkgs/termination/test.rkt 4 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt 3 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt 2 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt 2 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt 2 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt 2 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/div.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/apply-with-termination.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/flattened-parameter.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/analyze.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/lang.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/main.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/parse.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/flow-analysis/utils.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/info.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/main.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/micro-benchmarks.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/runtime-utils.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/size-change-graph.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/syntax-utils.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/acl2-fig-2.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/acl2-fig-6.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/acl2-fig-7.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/common.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/dderiv.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/deriv.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/destruct.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/div.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/ho-sct-ack.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/ho-sct-fg.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/ho-sct-fold.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-bar.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-f.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-foo.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-perm.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/isabelle-poly.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-gcd.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-map.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-merge.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-range.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/lh-tfact.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/nfa.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/scheme.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-1.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-2.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-3.rkt1/46 test failures 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-4.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-5.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/sct-6.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/unsafe-apply-with-termination.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/termination/unsafe.rkt 1 1 /home/root//user/.local/share/racket/snapshot/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt The time is now Thursday, June 27th, 2024 11:51:48am