The time is now Monday, July 19th, 2021 11:16:40am (/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 -e /dev/stderr -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto cur && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --drdr --package cur) Resolved "cur" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "wjb@williamjbowman.com") (checksum . "6998791ed86f906b3f4950e9e364835635a6f42b") (dependencies . (("cur-lib") ("cur-doc") ("cur-test"))) (description . "Dependent types and meta-programming") (modules . ()) (name . "cur") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cur.zip") (tags . ("proofs" "types"))) 00: Resolved "cur-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "cur-doc" via file:///home/root//catalogs/built/catalog Resolved "cur-test" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "wjb@williamjbowman.com") (checksum . "e662a627e8cb8c10a0c07d165f2dbb808b031d3b") (dependencies . (("base" #:version "7.6") ("turnstile-lib" #:version "0.5.6") ("macrotypes-lib" #:version "0.3.3") ("reprovide-lang-lib"))) (description . "") (modules . ((lib "cur/ntac/ctx.rkt") (lib "cur/ntac/auto.rkt") (lib "cur/curnel/coc.rkt") (lib "cur/lang/reader.rkt") (lib "cur/stdlib/axiom.rkt") (lib "cur/ntac/base.rkt") (lib "cur/stdlib/totality.rkt") (lib "cur/stdlib/racket-ascii.rkt") (lib "cur/stdlib/pair.rkt") (lib "cur/ntac/metantac.rkt") (lib "cur/ntac/ML-rewrite.rkt") (lib "cur/stdlib/typeclass.rkt") (lib "cur/stdlib/sugar.rkt") (lib "cur/stdlib/maybe.rkt") (lib "cur/stdlib/nat.rkt") (lib "cur/ntac/standard.rkt") (lib "cur/ntac/rewrite.rkt") (lib "cur/curnel/lang.rkt") (lib "cur/metantac/lang/reader.rkt") (lib "cur/stdlib/equality.rkt") (lib "cur/stdlib/bool.rkt") (lib "cur/main.rkt") (lib "cur/stdlib/sigma.rkt") (lib "cur/stdlib/datum.rkt") (lib "cur/curnel/cic-saccharata.rkt") (lib "cur/metantac/main.rkt") (lib "cur/stdlib/pattern-tree.rkt") (lib "cur/ntac/prove-unify.rkt") (lib "cur/curnel/coc-saccharata.rkt") (lib "cur/debug/syntax-trace.rkt") (lib "cur/curnel/stxutils.rkt") (lib "cur/stdlib/ascii.rkt") (lib "cur/curnel/reflection.rkt") (lib "cur/ntac/inversion.rkt") (lib "cur/stdlib/sized.rkt") (lib "cur/stdlib/list.rkt") (lib "cur/stdlib/prop.rkt") (lib "cur/olly.rkt") (lib "cur/ntac/utils.rkt"))) (name . "cur-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cur-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "wjb@williamjbowman.com") (checksum . "f65c01dd6958861d188b6cfd138859a15f469a9a") (dependencies . (("base") ("base" #:version "7.6") ("scribble-lib") ("racket-doc") ("sandbox-lib") ("cur-lib" #:version "0.6") ("data-doc"))) (description . "") (modules . ((lib "cur/scribblings/stdlib/sugar.scrbl") (lib "cur/scribblings/stdlib/datum.scrbl") (lib "cur/scribblings/olly.scrbl") (lib "cur/scribblings/stdlib/typeclass.scrbl") (lib "cur/scribblings/stdlib/bool.scrbl") (lib "cur/scribblings/ntac.scrbl") (lib "cur/scribblings/stdlib/equality.scrbl") (lib "cur/scribblings/stdlib/list.scrbl") (lib "cur/scribblings/reflection.scrbl") (lib "cur/cur.scrbl") (lib "cur/scribblings/stdlib/racket-ascii.scrbl") (lib "cur/scribblings/defs.rkt") (lib "cur/scribblings/stdlib/nat.scrbl") (lib "cur/scribblings/stdlib/maybe.scrbl") (lib "cur/scribblings/stdlib/ascii.scrbl") (lib "cur/scribblings/stdlib/sigma.scrbl") (lib "cur/scribblings/stdlib.scrbl") (lib "cur/scribblings/curnel.scrbl"))) (name . "cur-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cur-doc.zip") (tags . ())) pkg: catalog response: #hash((author . "wjb@williamjbowman.com") (checksum . "f6a1d1a61a9782a63a82f43dc00387559a41fe0b") (dependencies . (("base") ("rackunit-lib") ("cur-lib" #:version "0.6") ("sweet-exp-lib") ("chk-lib") ("rackunit-macrotypes-lib"))) (description . "") (modules . ((lib "cur/tests/ntac/software-foundations/Poly-church.rkt") (lib "cur/tests/ntac/admit.rkt") (lib "cur/tests/stdlib/sized.rkt") (lib "cur/tests/ntac/assert.rkt") (lib "cur/tests/ntac/inversion.rkt") (lib "cur/tests/ntac/rewrite-forall.rkt") (lib "cur/tests/stdlib/sugar.rkt") (lib "cur/tests/stdlib/deppat.rkt") (lib "cur/tests/ntac/ML-rewrite-2.rkt") (lib "cur/tests/stdlib/typeclass.rkt") (lib "cur/tests/ntac/software-foundations/Regex.rkt") (lib "cur/tests/vector-append.rkt") (lib "cur/tests/issue67.rkt") (lib "cur/tests/stdlib/prop.rkt") (lib "cur/tests/stdlib/curunit.rkt") (lib "cur/tests/wilbowma.rkt") (lib "cur/tests/ntac/ML-rewrite.rkt") (lib "cur/tests/ntac/rewrite-in.rkt") (lib "cur/tests/ntac/software-foundations/Tactics-destruct.rkt") (lib "cur/tests/stdlib/ascii.rkt") (lib "cur/tests/issue-60.rkt") (lib "cur/tests/stdlib/pattern-tree.rkt") (lib "cur/tests/ntac/software-foundations/IndProp.rkt") (lib "cur/tests/ntac/simpl.rkt") (lib "cur/tests/stdlib/sigma.rkt") (lib "cur/tests/issue-71.rkt") (lib "cur/tests/ntac/destruct-exist.rkt") (lib "cur/tests/stdlib/list.rkt") (lib "cur/tests/plus.rkt") (lib "cur/tests/ntac/generalize.rkt") (lib "cur/tests/stdlib/axiom.rkt") (lib "cur/tests/ntac/rewrite-with-previous.rkt") (lib "cur/tests/ntac/software-foundations/Imp-var.rkt") (lib "cur/tests/stdlib/datum.rkt") (lib "cur/tests/ntac/induction.rkt") (lib "cur/tests/ntac/software-foundations/Maps.rkt") (lib "cur/tests/ntac/implicit.rkt") (lib "cur/tests/ntac/software-foundations/Poly.rkt") (lib "cur/tests/ntac.rkt") (lib "cur/tests/sweet-exp.rkt") (lib "cur/tests/stdlib/pat.rkt") (lib "cur/tests/issue-134.rkt") (lib "cur/tests/stdlib/termination.rkt") (lib "cur/tests/ntac/software-foundations/Poly-abbrv.rkt") (lib "cur/tests/stlc.rkt") (lib "cur/tests/stdlib/rackunit-size.rkt") (lib "cur/tests/ntac/software-foundations/Imp.rkt") (lib "cur/tests/ntac/issue104.rkt") (lib "cur/tests/fact.rkt") (lib "cur/tests/stdlib/racket-ascii.rkt") (lib "cur/tests/curnel/datatypes.rkt") (lib "cur/tests/issue-95.rkt") (lib "cur/tests/stdlib/maybe.rkt") (lib "cur/tests/ntac/interactive.rkt") (lib "cur/tests/ntac/software-foundations/Logic.rkt") (lib "cur/tests/ntac/rewrite.rkt") (lib "cur/tests/ntac/software-foundations/Induction.rkt") (lib "cur/tests/ntac/software-foundations/Tactics-unfolding.rkt") (lib "cur/tests/ntac/software-foundations/Tactics-inversion.rkt") (lib "cur/tests/ntac/leb.rkt") (lib "cur/tests/ntac/Induction-no-Basics.rkt") (lib "cur/tests/curnel/cic-saccharata.rkt") (lib "cur/tests/stdlib/nat.rkt") (lib "cur/tests/ntac/reflexivity-poly.rkt") (lib "cur/tests/stdlib/equality.rkt") (lib "cur/tests/ntac/destruct.rkt") (lib "cur/tests/curnel/reflection.rkt") (lib "cur/tests/ntac/software-foundations/Induction-ML.rkt") (lib "cur/tests/ntac/software-foundations/Tactics3.rkt") (lib "cur/tests/ntac/auto.rkt") (lib "cur/tests/ntac/software-foundations/Basics-ML.rkt") (lib "cur/tests/stdlib/bool.rkt") (lib "cur/tests/ntac/rackunit-ntac.rkt") (lib "cur/tests/ntac/software-foundations/Poly-pairs.rkt") (lib "cur/tests/ntac/software-foundations/Basics.rkt") (lib "cur/tests/ntac/software-foundations/Tactics.rkt") (lib "cur/tests/ntac/ML-reflexivity.rkt") (lib "cur/tests/stdlib/pattern-tree-matcher.rkt") (lib "cur/tests/ntac/software-foundations/Lists.rkt") (lib "cur/tests/stlc-olly.rkt") (lib "cur/tests/stdlib/totality.rkt") (lib "cur/tests/ntac/software-foundations/Regex2.rkt") (lib "cur/tests/olly.rkt") (lib "cur/tests/curnel/equality.rkt") (lib "cur/tests/ntac/ctx.rkt"))) (name . "cur-test") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cur-test.zip") (tags . ())) 00: Resolved "turnstile-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "macrotypes-lib" via file:///home/root//catalogs/built/catalog Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "aef8a4b9c736f053ea3ef622ba2ab610fdbfa499") (dependencies . (("base" #:version "7.0") ("macrotypes-lib" #:version "0.3.5") ("lens-lib"))) (description . "") (modules . ((lib "turnstile/more-utils.rkt") (lib "turnstile+/quicklang/lang/reader.rkt") (lib "turnstile+/eval.rkt") (lib "turnstile+/typedefs.rkt") (lib "turnstile/base/lang/reader.rkt") (lib "turnstile/mode.rkt") (lib "turnstile+/type-constraints.rkt") (lib "turnstile/base.rkt") (lib "turnstile/turnstile.rkt") (lib "turnstile+/base.rkt") (lib "turnstile/main.rkt") (lib "turnstile+/lang/reader.rkt") (lib "turnstile/type-constraints.rkt") (lib "turnstile/no-unicode.rkt") (lib "turnstile+/main.rkt") (lib "turnstile/quicklang/lang/reader.rkt") (lib "turnstile/typedefs.rkt") (lib "turnstile/lang/lang/reader.rkt") (lib "turnstile/lang/reader.rkt") (lib "turnstile/eval.rkt") (lib "turnstile+/base/lang/reader.rkt") (lib "turnstile/lang.rkt") (lib "turnstile+/more-utils.rkt"))) (name . "turnstile-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/turnstile-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "97c6d6d54dc2d43feaf35d86f7d8f21edabc6fd2") (dependencies . (("base" #:version "7.0"))) (description . "\"Types as macros\" core api, used to create Turnstile lang") (modules . ((lib "macrotypes/typecheck.rkt") (lib "macrotypes/variance-constraints.rkt") (lib "macrotypes/postfix-in.rkt") (lib "macrotypes/type-constraints.rkt") (lib "macrotypes/stx-utils.rkt") (lib "macrotypes/typecheck-core.rkt"))) (name . "macrotypes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/macrotypes-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "5c6136cce88ee766cac57b0f83439a13df6aaa58") (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"))) 00: Resolved "sweet-exp-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "chk-lib" via file:///home/root//catalogs/built/catalog Resolved "rackunit-macrotypes-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org asumu@ccs.neu.edu") (checksum . "a99d360632498a34ba63da2e1bba20c9c9f36527") (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 . "jay.mccarthy@gmail.com") (checksum . "ab9952dd8134b52829bcaa000e8080d3842b7285") (dependencies . (("testing-util-lib") ("base"))) (description . "a minimal tester") (modules . ((lib "chk/main.rkt"))) (name . "chk-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/chk-lib.zip") (tags . ("testing"))) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "610be1abb69d3a0e08a6272492f7bfa824d0da1c") (dependencies . (("base" #:version "7.0") ("rackunit-lib") ("macrotypes-lib" #:version "0.3.1"))) (description . "rackunit extension for use with Turnstile lang") (modules . ((lib "rackunit/macrotypes.rkt") (lib "rackunit/rackunit-typechecking.rkt") (lib "rackunit/turnstile.rkt") (lib "rackunit/turnstile+.rkt"))) (name . "rackunit-macrotypes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackunit-macrotypes-lib.zip") (tags . ())) Resolved "lens-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "jackhfirth@gmail.com alexander@knauth.org") (checksum . "0e31e5862bfdf3e6a032a70eeda1fc86d26fdf73") (dependencies . (("base") ("lens-common") ("lens-data") ("reprovide-lang-lib") ("rackunit-lib") ("sweet-exp-lib"))) (description . "Implementation (no docs) of the lens library, includes lens-data and lens-common") (modules . ((lib "lens/main.rkt") (lib "lens/applicable.rkt"))) (name . "lens-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lens-lib.zip") (tags . ("data" "functional" "lens"))) 00: 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 . "ed0e18ec6e5feffc832efdf8da8e4a13bc87c74d") (dependencies . (("base") ("rackunit-lib"))) (description . "Functions for dealing with #lang files") (modules . ((lib "lang-file/test/interp.rkt") (lib "lang-file/test/tuvalu.rkt") (lib "lang-file/read-lang-file.rkt") (lib "lang-file/test/literal.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 . "4bdd7b438db08816acad413a162ca1422afb6ad1") (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"))) 00: Resolved "lens-common" via file:///home/root//catalogs/built/catalog Resolved "lens-data" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "jackhfirth@gmail.com alexander@knauth.org") (checksum . "f2cdb159f814a8e037c5797e4d3238e3b1fd15f3") (dependencies . (("racket" #:version "6.3") ("base") ("fancy-app") ("rackunit-lib") ("reprovide-lang-lib") ("lens-data") ("sweet-exp-lib"))) (description . "Base lens constructors and additional combinators") (modules . ((lib "lens/private/test-util/test-multi.rkt") (lib "lens/private/compound/lazy.rkt") (lib "lens/private/compound/identity.rkt") (lib "lens/private/base/contract.rkt") (lib "lens/private/compound/compose.rkt") (lib "lens/private/common/applicable.rkt") (lib "lens/private/compound/arrow.rkt") (lib "lens/private/util/rest-contract.rkt") (lib "lens/private/base/gen-lens.rkt") (lib "lens/private/test-util/test-lens.rkt") (lib "lens/private/compound/thrush.rkt") (lib "lens/private/base/main.rkt") (lib "lens/private/isomorphism/base.rkt") (lib "lens/private/compound/define-nested.rkt") (lib "lens/private/base/view-set.rkt") (lib "lens/private/util/id-append.rkt") (lib "lens/private/base/base.rkt") (lib "lens/private/compound/if.rkt") (lib "lens/common.rkt") (lib "lens/private/compound/main.rkt") (lib "lens/private/base/transform.rkt") (lib "lens/private/compound/zoom.rkt") (lib "lens/private/util/list-pair-contract.rkt") (lib "lens/private/isomorphism/compound.rkt") (lib "lens/private/base/make-lens.rkt"))) (name . "lens-common") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lens-common.zip") (tags . ("data" "functional" "lens"))) pkg: catalog response: #hash((author . "jackhfirth@gmail.com alexander@knauth.org") (checksum . "9efc356b956c53effd9d438e3289e8037a07ee0e") (dependencies . (("racket" #:version "6.3") ("base") ("lens-common") ("rackunit-lib") ("fancy-app") ("syntax-classes-lib") ("struct-update-lib") ("kw-make-struct-lib") ("reprovide-lang-lib") ("sweet-exp-lib"))) (description . "Lens constructors for various Racket data structures") (modules . ((lib "lens/private/match.rkt") (lib "lens/private/util/functional-set.rkt") (lib "lens/private/list/car-cdr.rkt") (lib "lens/private/hash/join-hash.rkt") (lib "lens/private/vector/nested.rkt") (lib "lens/private/stream/stream.rkt") (lib "lens/private/string/substring.rkt") (lib "lens/private/vector/pick.rkt") (lib "lens/private/struct/struct-list.rkt") (lib "lens/private/set/set-filterer.rkt") (lib "lens/data/hash.rkt") (lib "lens/private/dict/dict-nested.rkt") (lib "lens/private/util/functional-dict.rkt") (lib "lens/private/struct/field.rkt") (lib "lens/private/view-set/set-all.rkt") (lib "lens/private/vector/join-vector.rkt") (lib "lens/data/struct.rkt") (lib "lens/private/hash/main.rkt") (lib "lens/private/util/improper-list-length.rkt") (lib "lens/private/struct/struct-nested.rkt") (lib "lens/private/list/multi.rkt") (lib "lens/private/isomorphism/main.rkt") (lib "lens/private/list/main.rkt") (lib "lens/private/list/list-ref-take-drop.rkt") (lib "lens/private/list/join-assoc.rkt") (lib "lens/private/string/join-string.rkt") (lib "lens/private/syntax/main.rkt") (lib "lens/private/string/string-split.rkt") (lib "lens/private/list/join-list.rkt") (lib "lens/private/string/main.rkt") (lib "lens/private/struct/struct.rkt") (lib "lens/private/hash/nested.rkt") (lib "lens/private/list/assoc.rkt") (lib "lens/private/list/append.rkt") (lib "lens/private/hash/ref.rkt") (lib "lens/private/syntax/syntax.rkt") (lib "lens/private/hash/pick.rkt") (lib "lens/private/syntax/srcloc.rkt") (lib "lens/private/syntax/syntax-keyword.rkt") (lib "lens/private/hash/hash-filterer.rkt") (lib "lens/private/vector/main.rkt") (lib "lens/private/tests/gen-lens-fallback-loop.rkt") (lib "lens/data/string.rkt") (lib "lens/data/dict.rkt") (lib "lens/private/struct/struct-join.rkt") (lib "lens/data/vector.rkt") (lib "lens/private/list/flatten.rkt") (lib "lens/private/list/sublist.rkt") (lib "lens/private/struct/main.rkt") (lib "lens/data/stream.rkt") (lib "lens/private/string/string.rkt") (lib "lens/private/list/reverse.rkt") (lib "lens/private/list/map.rkt") (lib "lens/data/list.rkt") (lib "lens/private/isomorphism/data.rkt") (lib "lens/private/vector/ref.rkt") (lib "lens/private/dict/dict.rkt") (lib "lens/private/set/set-member.rkt") (lib "lens/private/list/cadr-etc.rkt") (lib "lens/data.rkt") (lib "lens/private/util/alternating-list.rkt") (lib "lens/private/util/immutable.rkt") (lib "lens/private/syntax/stx.rkt"))) (name . "lens-data") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lens-data.zip") (tags . ("data" "functional" "lens"))) Resolved "fancy-app" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "samth@ccs.neu.edu") (checksum . "f3b979037ffa13ee5bf98fee1ce56e42a0c210b9") (dependencies . (("base") ("rackunit-lib") ("racket-doc") ("scribble-lib"))) (description . "Scala-style anonymous functions") (modules . ((lib "fancy-app/main.rkt") (lib "fancy-app/main.scrbl"))) (name . "fancy-app") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fancy-app.zip") (tags . ("syntax"))) 00: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "struct-update-lib" via file:///home/root//catalogs/built/catalog Resolved "kw-make-struct-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "14542b040fbe359752bae6dddf2d20fb7691aedf") (dependencies . (("base" #:version "6.12"))) (description . "implementation (no documentation) for “syntax-classes”") (modules . ((lib "syntax/parse/class/local-value.rkt") (lib "syntax/parse/class/paren-shape.rkt") (lib "syntax/parse/class/struct-id.rkt"))) (name . "syntax-classes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-lib.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "bac8df6078a3792c32d5d7fd177697639a777db2") (dependencies . (("base") ("syntax-classes-lib"))) (description . "implementation (no documentation) for “struct-update”") (modules . ((lib "struct-update/main.rkt"))) (name . "struct-update-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/struct-update-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "c22e16b0abd6971da52222d6ec13f079f6419c64") (dependencies . (("base") ("syntax-classes-lib") ("rackunit-lib"))) (description . "Naming struct fields with keywords for constructing and matching") (modules . ((lib "kw-make-struct/main.rkt"))) (name . "kw-make-struct-lib") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/kw-make-struct-lib.zip") (tags . ("keywords" "structs"))) pkg: creating link to # pkg: updating db with "cur" to '#s(pkg-info (catalog "cur") "6998791ed86f906b3f4950e9e364835635a6f42b" #f) pkg: creating link to # pkg: updating db with "cur-lib" to '#s(pkg-info (catalog "cur-lib") "e662a627e8cb8c10a0c07d165f2dbb808b031d3b" #t) pkg: creating link to # pkg: updating db with "cur-doc" to '#s(pkg-info (catalog "cur-doc") "f65c01dd6958861d188b6cfd138859a15f469a9a" #t) pkg: creating link to # pkg: updating db with "cur-test" to '#s(pkg-info (catalog "cur-test") "f6a1d1a61a9782a63a82f43dc00387559a41fe0b" #t) pkg: creating link to # pkg: updating db with "turnstile-lib" to '#s(pkg-info (catalog "turnstile-lib") "aef8a4b9c736f053ea3ef622ba2ab610fdbfa499" #t) pkg: creating link to # pkg: updating db with "macrotypes-lib" to '#s(pkg-info (catalog "macrotypes-lib") "97c6d6d54dc2d43feaf35d86f7d8f21edabc6fd2" #t) pkg: creating link to # pkg: updating db with "reprovide-lang-lib" to '#s(pkg-info (catalog "reprovide-lang-lib") "5c6136cce88ee766cac57b0f83439a13df6aaa58" #t) pkg: creating link to # pkg: updating db with "sweet-exp-lib" to '#s(pkg-info (catalog "sweet-exp-lib") "a99d360632498a34ba63da2e1bba20c9c9f36527" #t) pkg: creating link to # pkg: updating db with "chk-lib" to '#s(pkg-info (catalog "chk-lib") "ab9952dd8134b52829bcaa000e8080d3842b7285" #t) pkg: creating link to # pkg: updating db with "rackunit-macrotypes-lib" to '#s(pkg-info (catalog "rackunit-macrotypes-lib") "610be1abb69d3a0e08a6272492f7bfa824d0da1c" #t) pkg: creating link to # pkg: updating db with "lens-lib" to '#s(pkg-info (catalog "lens-lib") "0e31e5862bfdf3e6a032a70eeda1fc86d26fdf73" #t) pkg: creating link to # pkg: updating db with "lang-file-lib" to '#s(pkg-info (catalog "lang-file-lib") "ed0e18ec6e5feffc832efdf8da8e4a13bc87c74d" #t) pkg: creating link to # pkg: updating db with "syntax-macro-lang" to '#s(pkg-info (catalog "syntax-macro-lang") "4bdd7b438db08816acad413a162ca1422afb6ad1" #t) pkg: creating link to # pkg: updating db with "lens-common" to '#s(pkg-info (catalog "lens-common") "f2cdb159f814a8e037c5797e4d3238e3b1fd15f3" #t) pkg: creating link to # pkg: updating db with "lens-data" to '#s(pkg-info (catalog "lens-data") "9efc356b956c53effd9d438e3289e8037a07ee0e" #t) pkg: creating single-collection link to # pkg: updating db with "fancy-app" to '#s((sc-pkg-info pkg-info 3) (catalog "fancy-app") "f3b979037ffa13ee5bf98fee1ce56e42a0c210b9" #t "fancy-app") pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "14542b040fbe359752bae6dddf2d20fb7691aedf" #t) pkg: creating link to # pkg: updating db with "struct-update-lib" to '#s(pkg-info (catalog "struct-update-lib") "bac8df6078a3792c32d5d7fd177697639a777db2" #t) pkg: creating link to # pkg: updating db with "kw-make-struct-lib" to '#s(pkg-info (catalog "kw-make-struct-lib") "c22e16b0abd6971da52222d6ec13f079f6419c64" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of cur: cur-lib cur-doc cur-test dependencies of cur-lib: turnstile-lib macrotypes-lib reprovide-lang-lib dependencies of cur-test: sweet-exp-lib chk-lib rackunit-macrotypes-lib dependencies of turnstile-lib: lens-lib dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang dependencies of lens-lib: lens-common lens-data dependencies of lens-common: fancy-app dependencies of lens-data: syntax-classes-lib struct-update-lib kw-make-struct-lib raco setup: version: 8.2 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.2 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.2/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.2/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.2/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 --- [17:16:47] raco setup: updating: /home/root/racket/share/info-cache.rktd raco setup: updating: /home/root/user/.local/share/racket/8.2/share/info-cache.rktd raco setup: --- pre-installing collections --- [17:16:47] raco setup: --- installing foreign libraries --- [17:16:47] raco setup: --- installing shared files --- [17:16:47] raco setup: --- compiling collections --- [17:16:47] raco setup: making: /syntax/parse raco setup: making: /syntax/parse/experimental raco setup: making: /syntax/parse/lib raco setup: making: /syntax/parse/private raco setup: making: /chk-lib/chk raco setup: in /chk-lib/chk raco setup: making: /cur-doc/cur raco setup: in /cur-doc/cur raco setup: in /cur-doc/cur/scribblings raco setup: in /cur-lib/cur raco setup: in /cur-lib/cur/curnel raco setup: in /turnstile-lib/turnstile raco setup: in /macrotypes-lib/macrotypes raco setup: in /lens-common/lens raco setup: in /lens-common/lens/private/base raco setup: in /fancy-app raco setup: in /reprovide-lang-lib/reprovide raco setup: in /lens-common/lens/private/util 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 /lens-common/lens/private/compound raco setup: in /lens-common/lens/private/isomorphism raco setup: in /sweet-exp-lib/sweet-exp raco setup: in /sweet-exp-lib/sweet-exp/modern raco setup: in /lens-common/lens/private/test-util raco setup: in /lens-data/lens/private/syntax raco setup: in /lens-data/lens/private/list raco setup: in /lens-data/lens/private/util raco setup: in /turnstile-lib/turnstile+ raco setup: in /turnstile-lib/turnstile/lang raco setup: in /turnstile-lib/turnstile+/base/lang raco setup: in /turnstile-lib/turnstile+/quicklang/lang raco setup: in /cur-lib/cur/ntac raco setup: in /cur-lib/cur/stdlib raco setup: in /cur-lib/cur/metantac/lang raco setup: in /cur-lib/cur/metantac raco setup: in /cur-doc/cur/scribblings/stdlib raco setup: making: /cur-doc/cur/scribblings raco setup: making: /cur-doc/cur/scribblings/stdlib raco setup: making: /cur-lib/cur raco setup: in /cur-lib/cur raco setup: making: /cur-lib/cur/curnel raco setup: making: /cur-lib/cur/debug raco setup: in /cur-lib/cur/debug raco setup: making: /cur-lib/cur/lang raco setup: in /cur-lib/cur/lang raco setup: making: /cur-lib/cur/metantac raco setup: making: /cur-lib/cur/metantac/lang raco setup: making: /cur-lib/cur/ntac raco setup: in /cur-lib/cur/ntac raco setup: making: /cur-lib/cur/stdlib raco setup: in /cur-lib/cur/stdlib raco setup: making: /cur-test/cur raco setup: making: /fancy-app raco setup: in /fancy-app raco setup: making: /kw-make-struct-lib/kw-make-struct raco setup: in /kw-make-struct-lib/kw-make-struct raco setup: in /syntax-classes-lib/syntax/parse/class 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: /lens-common/lens raco setup: making: /lens-common/lens/private raco setup: making: /lens-common/lens/private/base raco setup: making: /lens-common/lens/private/common raco setup: in /lens-common/lens/private/common raco setup: making: /lens-common/lens/private/compound raco setup: in /lens-common/lens/private/compound raco setup: in /lens-common/lens/private/util raco setup: in /lens-data/lens/private/string raco setup: in /lens-data/lens/private/util raco setup: in /lens-data/lens/private/vector raco setup: in /lens-data/lens/private/isomorphism raco setup: in /lens-data/lens/private/list raco setup: making: /lens-common/lens/private/isomorphism raco setup: in /lens-common/lens/private/isomorphism raco setup: making: /lens-common/lens/private/test-util raco setup: in /lens-common/lens/private/test-util raco setup: making: /lens-common/lens/private/util raco setup: making: /lens-data/lens raco setup: in /lens-data/lens raco setup: in /lens-data/lens/data raco setup: in /lens-data/lens/private/dict raco setup: in /lens-data/lens/private/util raco setup: in /lens-data/lens/private/hash raco setup: in /lens-data/lens/private/stream raco setup: in /lens-data/lens/private/struct raco setup: in /struct-update-lib/struct-update raco setup: making: /lens-data/lens/data raco setup: making: /lens-data/lens/private raco setup: in /lens-data/lens/private raco setup: making: /lens-data/lens/private/dict raco setup: in /lens-data/lens/private/dict raco setup: making: /lens-data/lens/private/hash raco setup: in /lens-data/lens/private/hash raco setup: making: /lens-data/lens/private/isomorphism raco setup: in /lens-data/lens/private/isomorphism raco setup: making: /lens-data/lens/private/list raco setup: in /lens-data/lens/private/list raco setup: making: /lens-data/lens/private/set raco setup: in /lens-data/lens/private/set raco setup: in /lens-data/lens/private/util raco setup: making: /lens-data/lens/private/stream raco setup: making: /lens-data/lens/private/string raco setup: in /lens-data/lens/private/string raco setup: making: /lens-data/lens/private/struct raco setup: in /lens-data/lens/private/struct raco setup: making: /lens-data/lens/private/syntax raco setup: in /lens-data/lens/private/syntax raco setup: making: /lens-data/lens/private/tests raco setup: in /lens-data/lens/private/tests raco setup: making: /lens-data/lens/private/util raco setup: making: /lens-data/lens/private/vector raco setup: making: /lens-data/lens/private/view-set raco setup: in /lens-data/lens/private/view-set raco setup: making: /lens-lib/lens (lens) raco setup: in /lens-lib/lens raco setup: making: /macrotypes-lib/macrotypes raco setup: in /macrotypes-lib/macrotypes 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: /rackunit-macrotypes-lib/rackunit raco setup: in /rackunit-macrotypes-lib/rackunit 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: /struct-update-lib/struct-update 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-classes-lib/syntax raco setup: making: /syntax-classes-lib/syntax/parse raco setup: making: /syntax-classes-lib/syntax/parse/class raco setup: in /syntax-classes-lib/syntax/parse/class 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: /turnstile-lib/turnstile raco setup: in /turnstile-lib/turnstile raco setup: making: /turnstile-lib/turnstile+ raco setup: making: /turnstile-lib/turnstile+/base raco setup: making: /turnstile-lib/turnstile+/base/lang raco setup: making: /turnstile-lib/turnstile+/lang raco setup: in /turnstile-lib/turnstile+/lang raco setup: making: /turnstile-lib/turnstile+/quicklang raco setup: making: /turnstile-lib/turnstile+/quicklang/lang raco setup: making: /turnstile-lib/turnstile/base raco setup: making: /turnstile-lib/turnstile/base/lang raco setup: in /turnstile-lib/turnstile/base/lang raco setup: making: /turnstile-lib/turnstile/lang raco setup: making: /turnstile-lib/turnstile/lang/lang raco setup: in /turnstile-lib/turnstile/lang/lang raco setup: making: /turnstile-lib/turnstile/quicklang raco setup: making: /turnstile-lib/turnstile/quicklang/lang raco setup: in /turnstile-lib/turnstile/quicklang/lang raco setup: --- creating launchers --- [17:17:09] raco setup: --- installing man pages --- [17:17:09] raco setup: --- building documentation --- [17:17:09] raco setup: syncing: /cur-doc/cur/doc/cur raco setup: syncing: /fancy-app/doc/fancy-app raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl 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 --- [17:17:17] raco setup: --- post-installing collections --- [17:17:17] raco test: "/home/root//user/.local/share/racket/8.2/pkgs/cur/info.rkt" 0 /home/root//user/.local/share/racket/8.2/pkgs/cur/info.rkt The time is now Monday, July 19th, 2021 11:17:19am