The time is now Sunday, April 4th, 2021 9:56:43pm (/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 -u --auto termination && bin/racket -MCR "/home/root/"/zo: -l- raco test --drdr --package termination) Resolved "termination" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "ad205f1d4c3b21fd94c3eb846088acf98ad7c60a") (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/acl2-fig-2.rkt") (lib "termination/tests/Dyn/isabelle-foo.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-fact.rkt") (lib "termination/tests/Dyn/isabelle-f.rkt") (lib "termination/tests/Dyn/benchmarks/cm/mergesort.rkt") (lib "termination/tests/Dyn/destruct.rkt") (lib "termination/size-change-graph.rkt") (lib "termination/tests/Dyn/benchmarks/cm/fact.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-5.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-6.rkt") (lib "termination/tests/Dyn/sct-1.rkt") (lib "termination/flow-analysis/analyze.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-gcd.rkt") (lib "termination/tests/Dyn/ho-sct-fg.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-1.rkt") (lib "termination/tests/Dyn/dderiv.rkt") (lib "termination/micro-benchmarks.rkt") (lib "termination/unsafe.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-2.rkt") (lib "termination/tests/Dyn/benchmarks/imp/fact.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-sum.rkt") (lib "termination/syntax-utils.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-sum.rkt") (lib "termination/tests/Dyn/nfa.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-4.rkt") (lib "termination/tests/Dyn/ho-sct-fold.rkt") (lib "termination/tests/Dyn/isabelle-perm.rkt") (lib "termination/tests/Dyn/benchmarks/imp/mergesort.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt") (lib "termination/tests/Dyn/scheme.rkt") (lib "termination/tests/Dyn/buggy-versions/destruct.rkt") (lib "termination/tests/Dyn/benchmarks/imp/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt") (lib "termination/tests/Dyn/buggy-versions/div.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt") (lib "termination/tests/Dyn/lh-tfact.rkt") (lib "termination/tests/Dyn/lh-range.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-fact.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-range.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt") (lib "termination/flow-analysis/lang.rkt") (lib "termination/flow-analysis/main.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-foo.rkt") (lib "termination/flattened-parameter.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt") (lib "termination/tests/Dyn/div.rkt") (lib "termination/apply-with-termination.rkt") (lib "termination/tests/Dyn/sct-5.rkt") (lib "termination/tests/Dyn/buggy-versions/dderiv.rkt") (lib "termination/tests/Dyn/lh-merge.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-merge.rkt") (lib "termination/main.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt") (lib "termination/tests/Dyn/deriv.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/fact.rkt") (lib "termination/tests/Dyn/lh-map.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-perm.rkt") (lib "termination/runtime-utils.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-f.rkt") (lib "termination/tests/Dyn/benchmarks/common.rkt") (lib "termination/flow-analysis/utils.rkt") (lib "termination/tests/Dyn/sct-6.rkt") (lib "termination/tests/Dyn/buggy-versions/scheme.rkt") (lib "termination/tests/Dyn/sct-4.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-tfact.rkt") (lib "termination/test.rkt") (lib "termination/tests/Dyn/sct-2.rkt") (lib "termination/tests/Dyn/buggy-versions/deriv.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt") (lib "termination/tests/Dyn/benchmarks/cm/sum.rkt") (lib "termination/tests/Dyn/sct-3.rkt") (lib "termination/tests/Dyn/buggy-versions/nfa.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-map.rkt") (lib "termination/flow-analysis/parse.rkt") (lib "termination/tests/Dyn/isabelle-bar.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt") (lib "termination/tests/Dyn/acl2-fig-7.rkt") (lib "termination/tests/Dyn/isabelle-poly.rkt") (lib "termination/tests/Dyn/ho-sct-ack.rkt") (lib "termination/tests/Dyn/lh-gcd.rkt") (lib "termination/tests/Dyn/acl2-fig-6.rkt") (lib "termination/unsafe-apply-with-termination.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-3.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-poly.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-bar.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 . "598c8b1f63ae0dc59ae75c3310401ccc18227e7e") (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/tests.rkt") (lib "bnf/main.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 . "b0a0c3850cbffa221117a3359ccf1990d6c91268") (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/main.rkt") (lib "set-extras/tests.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 . "d4915247adee0e34555aff65dc5d2e1e512f06a4") (dependencies . (("base"))) (description . "Utilities for expressing supposedly unreachable code") (modules . ((lib "unreachable/test.rkt") (lib "unreachable/main.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 . "c381748e4b5eac6ee096fd91a08e893f51340603") (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/main.rkt") (lib "traces/typed.rkt") (lib "traces/test.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 . "cc84db1c00abcc856f612f7534b8144c5e9ef335") (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-equal+hash.rkt") (lib "typed-struct-props/test/test-write.rkt") (lib "typed-struct-props/scribblings/typed-struct-props.scrbl") (lib "typed-struct-props/test/test-write+equal+hash-poly.rkt") (lib "typed-struct-props/test/test-write-poly.rkt") (lib "typed-struct-props/test/test-poly.rkt") (lib "typed-struct-props/test/test-none.rkt") (lib "typed-struct-props/test/test-child.rkt") (lib "typed-struct-props/test/test-write+equal+hash.rkt") (lib "typed-struct-props/test/test-after.rkt") (lib "typed-struct-props/main.rkt") (lib "typed-struct-props/test/test-none-poly.rkt") (lib "typed-struct-props/test/test-parent.rkt") (lib "typed-struct-props/test/test-equal+hash-poly.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 . "b4a4312f74c9ec0a589d149253899736bde12a52") (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/base/lang/reader.rkt") (lib "type-expander/test/type-expander-test.rkt") (lib "type-expander/parameterize-lexical-context.rkt") (lib "type-expander/type-expander.hl.rkt") (lib "type-expander/lang/reader.rkt") (lib "type-expander/test/base-lang-test-2.rkt") (lib "type-expander/test/readme.rkt") (lib "type-expander/base.rkt") (lib "type-expander/scribblings/deprecated-colon.scrbl") (lib "type-expander/main.rkt") (lib "type-expander/dbg.rkt") (lib "type-expander/test/lang-test-2.rkt") (lib "type-expander/test/base-lang-test-1.rkt") (lib "type-expander/contracts-to-types.rkt") (lib "type-expander/scribblings/contracts-to-types.scrbl") (lib "type-expander/test/test-contracts-to-types.rkt") (lib "type-expander/identifiers.rkt") (lib "type-expander/expander.rkt") (lib "type-expander/lang.rkt") (lib "type-expander/scribblings/type-expander.scrbl") (lib "type-expander/more-expanders.hl.rkt") (lib "type-expander/test/lang-test-1.rkt") (lib "type-expander/lang/main.rkt") (lib "type-expander/test/base-lang-test-3.rkt") (lib "type-expander/utils.rkt") (lib "type-expander/lang/lang/reader.rkt") (lib "type-expander/test/lang-test-3.rkt") (lib "type-expander/scribblings/type-expander-implementation.scrbl"))) (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 . "7fb3277ff08362008987d292d64110429b1d62b1") (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/private/common.rkt") (lib "hyper-literate/test/comments/same-syntax-typed.rkt") (lib "hyper-literate/comments/syntax-properties.rkt") (lib "hyper-literate/test/test.hl.rkt") (lib "hyper-literate/test/test-doc.rkt") (lib "hyper-literate/private/no-auto-require.rkt") (lib "hyper-literate/test/test2.hl.rkt") (lib "hyper-literate/comments/syntax-properties-typed.rkt") (lib "hyper-literate/spoiler1.rkt") (lib "hyper-literate/test/comments/annotate-syntax-typed.rkt") (lib "hyper-literate/test/comments/annotate-syntax.rkt") (lib "hyper-literate/test/comments/same-syntax.rkt") (lib "hyper-literate/comments/restore-comments.rkt") (lib "hyper-literate/lang.rkt") (lib "hyper-literate/comments/hide-comments.rkt") (lib "hyper-literate/diff1.rkt") (lib "hyper-literate/lang/first-line-utils.rkt") (lib "hyper-literate/comment-reader.rkt") (lib "hyper-literate/test/test-chunks-order.rkt") (lib "hyper-literate/comments/restore-comments-typed.rkt") (lib "hyper-literate/scribblings/diff1-example.hl.rkt") (lib "hyper-literate/main.rkt") (lib "hyper-literate/lang/reader.rkt") (lib "hyper-literate/scribblings/hyper-literate.scrbl") (lib "hyper-literate/comments/hide-comments-typed.rkt") (lib "hyper-literate/test/comments/test-comments-round-trip.rkt") (lib "hyper-literate/private/lp.rkt") (lib "hyper-literate/restore-comments.rkt") (lib "hyper-literate/lang/meta-first-line.rkt") (lib "hyper-literate/private/chunks-toc-prefix.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 . "7ed4ffdab1572d6ed965b7d4a9b1446020b56ea2") (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/utils.rkt") (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"))) (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 . "792deb74173cfd5aae81e53fe2dd32f89d556b94") (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/main.rkt") (lib "debug-scopes/test/named-scopes-test-def.rkt") (lib "debug-scopes/named-scopes/override.rkt") (lib "debug-scopes/named-scopes/dummy-lang.rkt") (lib "debug-scopes/scribblings/debug-scopes.scrbl") (lib "debug-scopes/named-scopes.rkt") (lib "debug-scopes/test/named-scopes-test-use.rkt") (lib "debug-scopes/superscripts.rkt") (lib "debug-scopes/named-scopes/exptime.rkt") (lib "debug-scopes/named-scopes-sli-parameter.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 . "d74bcbe876d1b8165bee1c4dfb263c75c27f2158") (dependencies . (("base") ("compatibility-lib") ("drracket-plugin-lib") ("gui-lib") ("scheme-lib") ("srfi-lib") ("srfi-lite-lib") ("racket-doc") ("scribble-lib"))) (description . "Conditional behavior based on the version of Racket") (modules . ((lib "version-case/test-version-case.rkt") (lib "version-case/private/new-version-case.rkt") (lib "version-case/version-misc.rkt") (lib "version-case/main.rkt") (lib "version-case/private/old-version-case.rkt") (lib "version-case/version-case.scrbl") (lib "version-case/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 . "9982487ec3668bbd51aa3e232d3fde8a1fc5b4d1") (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/main.rkt") (lib "scribble-enhanced/math.rkt") (lib "scribble-enhanced/manual-scheme.rkt") (lib "scribble-enhanced/doc.rkt") (lib "scribble-enhanced/manual-form.rkt") (lib "scribble-enhanced/with-manual.rkt") (lib "scribble-enhanced/racket.rkt") (lib "scribble-enhanced/scribblings/scribble-enhanced-template.lp2.rkt") (lib "scribble-enhanced/scribblings/scribble-enhanced.scrbl") (lib "scribble-enhanced/scribblings/scribble-enhanced-example.lp2.rkt") (lib "scribble-enhanced/unicode-chars.sty.rkt") (lib "scribble-enhanced/forkmeongithub.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 . "6dccea7cd8cf62b07f0e60449ed7df9d5dee1873") (dependencies . (("base") ("kw-utils") ("rackunit-lib") ("at-exp-lib") ("scribble-lib") ("sandbox-lib") ("racket-doc"))) (description . "") (modules . ((lib "mutable-match-lambda/mutable-match-lambda-procedure.rkt") (lib "mutable-match-lambda/main.rkt") (lib "mutable-match-lambda/let-inferred-name.rkt") (lib "mutable-match-lambda/make-clause-proc.rkt") (lib "mutable-match-lambda/communication.rkt") (lib "mutable-match-lambda/prop-object-name.rkt") (lib "mutable-match-lambda/docs/mutable-match-lambda.scrbl") (lib "mutable-match-lambda/syntax-to-string.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 . "b73a69fa26a8a076a4cf6c31d1dfb6eca49d9475") (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 . "406df7356f2b23923907fbb8ead1e358c5ab9d10") (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-prefab-declarations.rkt") (lib "tr-immutable/private/unsafe.rkt") (lib "tr-immutable/test/test-vector.rkt") (lib "tr-immutable/scribblings/tr-immutable.scrbl") (lib "tr-immutable/typed-syntax/typed-syntax-convert2.rkt") (lib "tr-immutable/main.rkt") (lib "tr-immutable/typed-syntax/typed-syntax-predicate.rkt") (lib "tr-immutable/typed-syntax/typed-pairof-predicate.rkt") (lib "tr-immutable/typed-syntax/typed-syntax-convert.rkt") (lib "tr-immutable/typed-syntax.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 . "d1865f51be3de4e1582a0d3c3786222f71e099b3") (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 "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 . "06e573949b47cd479498f6d42203bfb913e55ac5") (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 "typed/pretty-format.rkt") (lib "pretty-format/scribblings/pretty-format.scrbl") (lib "pretty-format/main.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 . "088978ae2db4cdcf52e45777dfe256c819160739") (dependencies . (("base") ("reprovide-lang-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "a #lang for reproviding modules") (modules . ((lib "reprovide/test/test-combine-in-except.rkt") (lib "reprovide/test/use-glob-in.rkt") (lib "reprovide/test/example-directory/c.rkt") (lib "reprovide/test/test.rkt") (lib "reprovide/test/use.rkt") (lib "reprovide/test/use-combine-in-except.rkt") (lib "reprovide/test/other-subdir/indirect-glob-in.rkt") (lib "reprovide/test/example-directory/b.rkt") (lib "reprovide/test/example-directory/a.rkt") (lib "reprovide/scribblings/reprovide.scrbl"))) (name . "reprovide-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/reprovide-lang.zip") (tags . ("provide" "require"))) Resolved "kw-utils" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "d5c43775ea8303ed11efde20e468164994705767") (dependencies . (("base") ("sweet-exp-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("rackjure"))) (description . "misc kw utils") (modules . ((lib "kw-utils/docs/kw-map.scrbl") (lib "kw-utils/arity+keywords/syntax.rkt") (lib "kw-utils/docs/kw-hash.scrbl") (lib "kw-utils/keyword-apply-sort.rkt") (lib "kw-utils/docs/kw-lists-lambda.scrbl") (lib "kw-utils/partial.rkt") (lib "kw-utils/kw-lists-lambda.rkt") (lib "kw-utils/kw-map.rkt") (lib "kw-utils/docs/keyword-lambda.scrbl") (lib "kw-utils/kw-hash/contract.rkt") (lib "kw-utils/arity+keywords.rkt") (lib "kw-utils/docs/partial.scrbl") (lib "kw-utils/docs/mapper.scrbl") (lib "kw-utils/kw-apply.rkt") (lib "kw-utils/mapper.rkt") (lib "kw-utils/docs/arity+keywords.scrbl") (lib "kw-utils/docs/keyword-apply-sort.scrbl") (lib "kw-utils/docs/kw-utils.scrbl") (lib "kw-utils/kw-hash.rkt") (lib "kw-utils/keyword-lambda.rkt") (lib "kw-utils/keyword-app.rkt") (lib "kw-utils/kw-hash-lambda.rkt"))) (name . "kw-utils") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/kw-utils.zip") (tags . ("keywords"))) 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 . "cff8e1cabe2ff38adff4c095082840aba2b9ec71") (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 . "df12656b3a596641fba1ad031ecfec833f33bd51") (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 . "b9028882c7b6c65e510ea50c12e1e44797fd72c7") (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 . ())) Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "4233a50808af816a23d15c253547f2c79c980deb") (dependencies . (("base") ("lang-file-lib") ("syntax-macro-lang"))) (description . "a #lang for reproviding modules") (modules . ((lib "reprovide/reprovide.rkt") (lib "reprovide/require-transformer/private/this-expression-source-file.rkt") (lib "reprovide/require-transformer/combine-in-except.rkt") (lib "reprovide/main.rkt") (lib "reprovide/require-transformer/directory-in.rkt") (lib "reprovide/require-transformer/glob-in.rkt"))) (name . "reprovide-lang-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/reprovide-lang-lib.zip") (tags . ("provide" "require"))) 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 . "96f9959780ca25d6f09f2c9f895af3615b63b2d7") (dependencies . (("base"))) (description . "Implementation part of sweet-exp") (modules . ((lib "sweet-exp/main.rkt") (lib "sweet-exp/util.rkt") (lib "sweet-exp/sugar.rkt") (lib "sweet-exp/racket/init.rkt") (lib "sweet-exp/modern/process-curly.rkt") (lib "sweet-exp/modern.rkt") (lib "sweet-exp/read-sig.rkt") (lib "sweet-exp/sweet.rkt") (lib "sweet-exp/indent.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 . "1357d67ce4112b17e32317c5e5f7bf8e55e64464") (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/lang/reader.rkt") (lib "rackjure/egal.rkt") (lib "rackjure/bench.rkt") (lib "rackjure/lambda-reader.rkt") (lib "rackjure/app.rkt") (lib "rackjure/alist.rkt") (lib "rackjure/utils.rkt") (lib "rackjure/conditionals.rkt") (lib "rackjure/rackjure.scrbl") (lib "rackjure/test.rkt") (lib "rackjure/base/lang/reader.rkt") (lib "rackjure/threading.rkt") (lib "rackjure/lang/runtime-config.rkt") (lib "rackjure/main.rkt") (lib "rackjure/check-expansion.rkt") (lib "rackjure/base.rkt") (lib "rackjure/str.rkt") (lib "rackjure/lang/language-info.rkt") (lib "rackjure/rackjure.rkt") (lib "rackjure/dict.rkt"))) (name . "rackjure") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackjure.zip") (tags . ("language"))) 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 . "d3a286be75d261151abe5b3e9680df0795ef2763") (dependencies . (("base") ("rackunit-lib"))) (description . "Functions for dealing with #lang files") (modules . ((lib "lang-file/read-lang-file.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 . "44d6588ef6b17e346e76bf0edf8c21fcaca2de8f") (dependencies . (("base"))) (description . "experimental racket module language for creating languages, inspired by syntax-lang") (modules . ((lib "tests/syntax/macro-lang/the-lang.rkt") (lib "tests/syntax/macro-lang/test.rkt") (lib "syntax/macro-lang.rkt"))) (name . "syntax-macro-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-macro-lang.zip") (tags . ("lang" "syntax"))) 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 . "afea29b51a1d2bdae6c5a066ba1b5b0b6047a89d") (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 . "e079aeae331056d3c8c7f6e95f7645ccfa30bfd3") (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 single-collection link to # pkg: updating db with "termination" to '#s((sc-pkg-info pkg-info 3) (catalog "termination") "ad205f1d4c3b21fd94c3eb846088acf98ad7c60a" #f "termination") pkg: creating single-collection link to # pkg: updating db with "bnf" to '#s((sc-pkg-info pkg-info 3) (catalog "bnf") "598c8b1f63ae0dc59ae75c3310401ccc18227e7e" #t "bnf") pkg: creating single-collection link to # pkg: updating db with "set-extras" to '#s((sc-pkg-info pkg-info 3) (catalog "set-extras") "b0a0c3850cbffa221117a3359ccf1990d6c91268" #t "set-extras") pkg: creating single-collection link to # pkg: updating db with "unreachable" to '#s((sc-pkg-info pkg-info 3) (catalog "unreachable") "d4915247adee0e34555aff65dc5d2e1e512f06a4" #t "unreachable") pkg: creating single-collection link to # pkg: updating db with "traces" to '#s((sc-pkg-info pkg-info 3) (catalog "traces") "c381748e4b5eac6ee096fd91a08e893f51340603" #t "traces") 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") "cc84db1c00abcc856f612f7534b8144c5e9ef335" #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") "b4a4312f74c9ec0a589d149253899736bde12a52" #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") "7fb3277ff08362008987d292d64110429b1d62b1" #t "hyper-literate") 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") "7ed4ffdab1572d6ed965b7d4a9b1446020b56ea2" #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") "792deb74173cfd5aae81e53fe2dd32f89d556b94" #t "debug-scopes") pkg: creating single-collection link to # pkg: updating db with "version-case" to '#s((sc-pkg-info pkg-info 3) (catalog "version-case") "d74bcbe876d1b8165bee1c4dfb263c75c27f2158" #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") "9982487ec3668bbd51aa3e232d3fde8a1fc5b4d1" #t "scribble-enhanced") pkg: creating link to # pkg: updating db with "mutable-match-lambda" to '#s(pkg-info (catalog "mutable-match-lambda") "6dccea7cd8cf62b07f0e60449ed7df9d5dee1873" #t) pkg: creating link to # pkg: updating db with "sexp-diff" to '#s(pkg-info (catalog "sexp-diff") "b73a69fa26a8a076a4cf6c31d1dfb6eca49d9475" #t) pkg: creating single-collection link to # pkg: updating db with "tr-immutable" to '#s((sc-pkg-info pkg-info 3) (catalog "tr-immutable") "406df7356f2b23923907fbb8ead1e358c5ab9d10" #t "tr-immutable") pkg: creating link to # pkg: updating db with "typed-map-lib" to '#s(pkg-info (catalog "typed-map-lib") "d1865f51be3de4e1582a0d3c3786222f71e099b3" #t) pkg: creating link to # pkg: updating db with "pretty-format" to '#s(pkg-info (catalog "pretty-format") "06e573949b47cd479498f6d42203bfb913e55ac5" #t) pkg: creating link to # pkg: updating db with "reprovide-lang" to '#s(pkg-info (catalog "reprovide-lang") "088978ae2db4cdcf52e45777dfe256c819160739" #t) pkg: creating link to # pkg: updating db with "kw-utils" to '#s(pkg-info (catalog "kw-utils") "d5c43775ea8303ed11efde20e468164994705767" #t) pkg: creating link to # pkg: updating db with "sexp-diff-lib" to '#s(pkg-info (catalog "sexp-diff-lib") "cff8e1cabe2ff38adff4c095082840aba2b9ec71" #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") "df12656b3a596641fba1ad031ecfec833f33bd51" #t "sexp-diff-doc") pkg: creating link to # pkg: updating db with "sexp-diff-test" to '#s(pkg-info (catalog "sexp-diff-test") "b9028882c7b6c65e510ea50c12e1e44797fd72c7" #t) pkg: creating link to # pkg: updating db with "reprovide-lang-lib" to '#s(pkg-info (catalog "reprovide-lang-lib") "4233a50808af816a23d15c253547f2c79c980deb" #t) pkg: creating link to # pkg: updating db with "sweet-exp-lib" to '#s(pkg-info (catalog "sweet-exp-lib") "96f9959780ca25d6f09f2c9f895af3615b63b2d7" #t) pkg: creating link to # pkg: updating db with "rackjure" to '#s(pkg-info (catalog "rackjure") "1357d67ce4112b17e32317c5e5f7bf8e55e64464" #t) pkg: creating link to # pkg: updating db with "lang-file-lib" to '#s(pkg-info (catalog "lang-file-lib") "d3a286be75d261151abe5b3e9680df0795ef2763" #t) pkg: creating link to # pkg: updating db with "syntax-macro-lang" to '#s(pkg-info (catalog "syntax-macro-lang") "44d6588ef6b17e346e76bf0edf8c21fcaca2de8f" #t) pkg: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "afea29b51a1d2bdae6c5a066ba1b5b0b6047a89d" #t) pkg: creating link to # pkg: updating db with "threading-doc" to '#s(pkg-info (catalog "threading-doc") "e079aeae331056d3c8c7f6e95f7645ccfa30bfd3" #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 debug-scopes: pretty-format reprovide-lang dependencies of mutable-match-lambda: kw-utils dependencies of sexp-diff: sexp-diff-lib sexp-diff-doc sexp-diff-test dependencies of reprovide-lang: reprovide-lang-lib dependencies of kw-utils: sweet-exp-lib rackjure dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang dependencies of rackjure: threading-lib threading-doc raco setup: version: 8.0 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.0 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.0/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.0/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.0/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: . raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [21:57:31] raco setup: updating: /home/root/racket/share/info-cache.rktd raco setup: updating: /home/root/user/.local/share/racket/8.0/share/info-cache.rktd raco setup: --- pre-installing collections --- [21:57:31] raco setup: --- installing foreign libraries --- [21:57:31] raco setup: --- installing shared files --- [21:57:31] raco setup: --- compiling collections --- [21:57:31] 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: 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: in /version-case/private raco setup: --- creating launchers --- [22:00:11] raco setup: --- installing man pages --- [22:00:11] raco setup: --- building documentation --- [22:00:11] 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 --- [22:00:20] raco setup: --- post-installing collections --- [22:00:20] raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/apply-with-termination.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/flattened-parameter.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/analyze.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/lang.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/main.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/parse.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/utils.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/info.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/main.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/micro-benchmarks.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/runtime-utils.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/size-change-graph.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/syntax-utils.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/test.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/acl2-fig-2.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/acl2-fig-6.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/acl2-fig-7.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt" interp-mergesort.rkt: racket test: timeout after 90 seconds raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt" interp-sum.rkt: racket test: timeout after 90 seconds raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt" sum.rkt: racket test: non-zero exit: 137 raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/common.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/div.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/dderiv.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/deriv.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/destruct.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/div.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/ho-sct-ack.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/ho-sct-fg.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/ho-sct-fold.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-bar.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-f.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-foo.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-perm.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-poly.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-gcd.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-map.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-merge.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-range.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-tfact.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/nfa.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/scheme.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-1.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-2.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-3.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-4.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-5.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-6.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/unsafe-apply-with-termination.rkt" raco test: "/home/root//user/.local/share/racket/8.0/pkgs/termination/unsafe.rkt" 8 /home/root//user/.local/share/racket/8.0/pkgs/termination/test.rkt 4 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt 3 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt 2 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt 2 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt 2 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt 2 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/div.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/apply-with-termination.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/flattened-parameter.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/analyze.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/lang.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/main.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/parse.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/flow-analysis/utils.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/info.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/main.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/micro-benchmarks.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/runtime-utils.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/size-change-graph.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/syntax-utils.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/acl2-fig-2.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/acl2-fig-6.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/acl2-fig-7.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/common.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/dderiv.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/deriv.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/destruct.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/div.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/ho-sct-ack.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/ho-sct-fg.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/ho-sct-fold.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-bar.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-f.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-foo.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-perm.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/isabelle-poly.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-gcd.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-map.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-merge.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-range.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/lh-tfact.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/nfa.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/scheme.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-1.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-2.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-3.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-4.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-5.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/sct-6.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/unsafe-apply-with-termination.rkt 0 /home/root//user/.local/share/racket/8.0/pkgs/termination/unsafe.rkt 1 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt3/48 test failures 1 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt 1 1 /home/root//user/.local/share/racket/8.0/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt The time is now Sunday, April 4th, 2021 10:10:36pm