The time is now Thursday, August 29th, 2024 3:02:28pm (/usr/bin/env 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: /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto gtp-checkup) Resolved "gtp-checkup" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "2c9d8dfa539596865a5074659595f21c8352842d") (dependencies . (("base") ("basedir") ("data-lib") ("draw-lib") ("gregor") ("gtp-util") ("math-lib") ("memoize") ("pict-lib") ("plot-lib") ("rackunit-lib") ("require-typed-check") ("sandbox-lib") ("typed-racket-lib") ("typed-racket-more") ("zo-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib") ("typed-racket-doc") ("pict-abbrevs"))) (description . "Test correctness of typed/untyped interaction.") (modules . ((lib "gtp-checkup/benchmarks/morsecode/untyped/main.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-unweighted.rkt") (lib "gtp-checkup/benchmarks/fsm/untyped/utilities.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/strategy.rkt") (lib "gtp-checkup/benchmarks/quadT/base/core.rkt") (lib "gtp-checkup/scribblings/plot.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/data.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/summary.rkt") (lib "gtp-checkup/benchmarks/gregor/base/cldr/file.rkt") (lib "gtp-checkup/benchmarks/fsmoo/untyped/population.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/tree-adapted.rkt") (lib "gtp-checkup/benchmarks/take5/base/untyped.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/automata-adapted.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/zo-find.rkt") (lib "gtp-checkup/benchmarks/mbta/typed-worst-case/run-t.rkt") (lib "gtp-checkup/benchmarks/snake/typed/handlers.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/utilities.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/core-adapter.rkt") (lib "gtp-checkup/benchmarks/synth/typed/synth.rkt") (lib "gtp-checkup/benchmarks/forth/untyped/stack.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/deck.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/parameters.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/zo-transition.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/quads.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/offset-resolvers.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/date.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/clock.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/benchmark-util.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/card.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/sugar-list.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/sugar-list.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/world.rkt") (lib "gtp-checkup/benchmarks/sieve/untyped/streams.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/datetime.rkt") (lib "gtp-checkup/benchmarks/synth/typed/array-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/wrap.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/cell.rkt") (lib "gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt") (lib "gtp-checkup/benchmarks/fsm/untyped/main.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/zo-transition.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/time.rkt") (lib "gtp-checkup/benchmarks/synth/typed/typed-data.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/helper.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/helper.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/ui.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/ai.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/main.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/main.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-property.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed/morse-code-strings.rkt") (lib "gtp-checkup/benchmarks/forth/untyped/eval.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/structs.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/lcs.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/datetime.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/stack-types.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/const.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/message-queue.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/player.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/main.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/bit-ports.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/mbta/untyped/t-graph.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/cut-tail.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/modulegraph.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/wrap.rkt") (lib "gtp-checkup/benchmarks/mbta/typed/main.rkt") (lib "gtp-checkup/benchmarks/forth/typed/eval.rkt") (lib "gtp-checkup/benchmarks/zordoz/base/untyped.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/moment.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/main.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/array.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-allpairs-shortestpaths.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/utils.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/benv.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/typed-data.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/moment.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/bitstring.rkt") (lib "gtp-checkup/benchmarks/take5/typed/stack.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/utilities.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-sequence.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/population-adapted.rkt") (lib "gtp-checkup/data/definition.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/scribblings/tzinfo.scrbl") (lib "gtp-checkup/benchmarks/quadT/typed/ocm.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/spreadsheet.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/sequencer.rkt") (lib "gtp-checkup/benchmarks/synth/typed/sequencer.rkt") (lib "gtp-checkup/benchmarks/zombie/base/untyped.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/quads.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/pict-adapted.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/basics.rkt") (lib "gtp-checkup/benchmarks/mbta/typed/t-graph.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/time.rkt") (lib "gtp-checkup/benchmarks/gregor/base/types.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/queue/gen-queue.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/measure.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/measure.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/motion.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/utils.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/spreadsheet.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/main.rkt") (lib "gtp-checkup/benchmarks/acquire/base/types.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/data-adaptor.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/math.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/quads.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed-worst-case/levenshtein.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/board-adapted.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/constraint.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/constraint.rkt") (lib "gtp-checkup/benchmarks/zordoz/base/compiler-zo-parse.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/clock.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/zombie/untyped/math.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/automata.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/bset.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/take5/typed/deck-types.rkt") (lib "gtp-checkup/benchmarks/dungeon/base/cell-types.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/wrap.rkt") (lib "gtp-checkup/benchmarks/quadT/base/quad.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/grid.rkt") (lib "gtp-checkup/benchmarks/take5/typed/player.rkt") (lib "gtp-checkup/benchmarks/fsm/base/untyped.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/sequencer.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/player.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable-adapted.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/hmsn.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/zo-transition.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/world.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/main.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/offset-resolvers.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/datetime.rkt") (lib "gtp-checkup/private/logger.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/main.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/render.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/render.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/label.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/label.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/ocm.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/measure.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/measure.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed/levenshtein.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/typedefs.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/bitstring.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/automata.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/env.rkt") (lib "gtp-checkup/benchmarks/snake/typed/motion-help.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/world.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/mixer.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/utilities.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/queue/fifo.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/ukkonen.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/main.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/lnm-plot.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/domain.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/domain.rkt") (lib "gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/player.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/gregor-structs.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/card-adapted.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/population.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/admin.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/hyphenate.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/hyphenate.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/state.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/motion-help.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/variable.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/variable.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/render.rkt") (lib "gtp-checkup/benchmarks/synth/typed/array-broadcast.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/zo-string.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/unix.rkt") (lib "gtp-checkup/benchmarks/forth/typed/stack.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/basics.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/auxiliaries.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/stack.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/render.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/data.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/grid.rkt") (lib "gtp-checkup/benchmarks/take5/typed/deck.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/population.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/main.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/quads.rkt") (lib "gtp-checkup/benchmarks/fsmoo/untyped/automata.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-struct.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/cell.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/solver.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/solver.rkt") (lib "gtp-checkup/benchmarks/synth/typed/data.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/pict-adapted.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/block.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/summary.rkt") (lib "gtp-checkup/benchmarks/mbta/typed/run-t.rkt") (lib "gtp-checkup/benchmarks/take5/typed/card-pool.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/handlers.rkt") (lib "gtp-checkup/benchmarks/synth/base/untyped.rkt") (lib "gtp-checkup/benchmarks/mbta/untyped/main.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/image.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/utils.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/tree.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/core-structs.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/adjlist-utils.rkt") (lib "gtp-checkup/benchmarks/zombie/untyped/image.rkt") (lib "gtp-checkup/benchmarks/morsecode/untyped/morse-code-table.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/huffman.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/bset.rkt") (lib "gtp-checkup/benchmarks/quadT/base/untyped.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-coloring.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/tetras.rkt") (lib "gtp-checkup/benchmarks/acquire/base/untyped.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/denotable.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/ocm-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/ocm-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-basic.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/quick-sample.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/quick-sample.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo-search.rkt") (lib "gtp-checkup/benchmarks/synth/typed/array-transform.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/card-pool.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/mutable-array.rkt") (lib "gtp-checkup/benchmarks/snake/typed/collide.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/time-adapted.rkt") (lib "gtp-checkup/benchmarks/zombie/untyped/main.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/auxiliaries.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/card.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/test/zoneinfo.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-graphviz.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/ocm-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/ocm-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/player.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/main.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/data.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/tetras.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/syntax-utils.rkt") (lib "gtp-checkup/benchmarks/sieve/untyped/main.rkt") (lib "gtp-checkup/benchmarks/mbta/typed/t-view.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/problem.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/problem.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/main.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/aux.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/automata.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed/morse-code-table.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/array-transform.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/strategy.rkt") (lib "gtp-checkup/benchmarks/quadU/base/quad-types.rkt") (lib "gtp-checkup/benchmarks/quadT/base/quad-types.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/core-adapter.rkt") (lib "gtp-checkup/benchmarks/zombie/untyped/zombie.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/world.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/world.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-strings.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/elim.rkt") (lib "gtp-checkup/benchmarks/forth/typed/main.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/ukkonen.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/gregor-adapter.rkt") (lib "gtp-checkup/benchmarks/mbta/untyped/t-view.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/hmsn.rkt") (lib "gtp-checkup/benchmarks/gregor/base/untyped.rkt") (lib "gtp-checkup/benchmarks/quadU/base/core-types.rkt") (lib "gtp-checkup/benchmarks/quadT/base/core-types.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/bit-ports.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/exception.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/structs.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/huffman.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/ymd.rkt") (lib "gtp-checkup/benchmarks/zordoz/base/typed-zo-structs.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-singlesource-shortestpaths.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-broadcast.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/penalty-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/penalty-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/benv.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/array-struct.rkt") (lib "gtp-checkup/benchmarks/suffixtree/base/kcfa-typed.rkt") (lib "gtp-checkup/benchmarks/fsmoo/untyped/utilities.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows-registry.rkt") (lib "gtp-checkup/benchmarks/take5/typed/dealer.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/base/base-constants.rkt") (lib "gtp-checkup/benchmarks/gregor/base/cldr/scribblings/cldr-core.scrbl") (lib "gtp-checkup/benchmarks/quadU/untyped/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/sugar-list.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/sugar-list.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/moment-base.rkt") (lib "gtp-checkup/private/count-chaps.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/stack.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/main.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/array-utils.rkt") (lib "gtp-checkup/benchmarks/quadU/base/core.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-comprehension.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/zoneinfo.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/block.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/main.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-matrix.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/player-types.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/synth.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/tree.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/array-broadcast.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/board.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/main.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/admin.rkt") (lib "gtp-checkup/benchmarks/sieve/typed-worst-case/streams.rkt") (lib "gtp-checkup/benchmarks/forth/base/command-types.rkt") (lib "gtp-checkup/benchmarks/take5/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/main.rkt") (lib "gtp-checkup/scribblings/gtp-checkup.scrbl") (lib "gtp-checkup/benchmarks/acquire/untyped/admin.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/utils.rkt") (lib "gtp-checkup/benchmarks/fsm/untyped/automata.rkt") (lib "gtp-checkup/benchmarks/snake/typed/const.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/time.rkt") (lib "gtp-checkup/benchmarks/lnm/base/untyped.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/measure.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-transform.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/bset.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/data.rkt") (lib "gtp-checkup/data/parse.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-transform.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/zo-shell.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/world.rkt") (lib "gtp-checkup/benchmarks/mbta/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/zo-find.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/utils.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/utils.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/hyphenate.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/hyphenate.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/hyphenate.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/hyphenate.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/bytevectors-6-typed.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/world.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/ocm.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/benchmark-util.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/zombie.rkt") (lib "gtp-checkup/benchmarks/take5/typed/basics-types.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/dealer.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/player.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/aux.rkt") (lib "gtp-checkup/benchmarks/forth/untyped/main.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/summary-adapted.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/state-adapted.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/queue/priority.rkt") (lib "gtp-checkup/benchmarks/mbta/untyped/run-t.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/block.rkt") (lib "gtp-checkup/benchmarks/take5/typed/player-types.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/structs.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-table.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/utils.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed/main.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/image-adapted.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/zo-string.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/structs.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/structs.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/zo-string.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/wrap.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/utils.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/population-adapted.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/board.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/consts.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/array-transform.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/penalty-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/penalty-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/source.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-weighted.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/lnm-plot.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/population.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/main.rkt") (lib "gtp-checkup/main.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/main.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed/bit-ports.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/drum.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/modulegraph.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed/jfif.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/data.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/benv-adapted.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/consts.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/image-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/denotable.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/tzfile-parser.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/typed-data.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-maxflow.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/board.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/image.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/inline-sort.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/jfif.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/exif.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/grid.rkt") (lib "gtp-checkup/benchmarks/suffixtree/base/untyped.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-utils.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/deck.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/automata-adapted.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/clock.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/bitstring.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/main.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/collide.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/mbta/typed-worst-case/t-view.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/basics.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/world.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/array-broadcast.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/card-pool.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/moment.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/auxiliaries.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/drum.rkt") (lib "gtp-checkup/benchmarks/forth/typed-worst-case/stack.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-mutable-array.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/denotable-adapted.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/tree.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/tzinfo-adapter.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/lcs.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/message-queue.rkt") (lib "gtp-checkup/benchmarks/forth/base/untyped.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/zo-find.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/main.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/cell.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph-adapted.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/base/base-random.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/exif.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/tabfile-parser.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/ocm.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/ocm.rkt") (lib "gtp-checkup/benchmarks/fsmoo/untyped/main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/measure.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/board-adapted.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/math.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/lnm-plot.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-syntax.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/basics-types.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/hash-utils.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/utils.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/moment-base.rkt") (lib "gtp-checkup/benchmarks/take5/typed/stack-types.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/ukkonen.rkt") (lib "gtp-checkup/benchmarks/fsm/untyped/population.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed/huffman.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/automata-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/structs-adapted.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/date.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/collide.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/data.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/moment-base.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/time.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/main.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/dealer-types.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/data.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/structs.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/data.rkt") (lib "gtp-checkup/benchmarks/forth/untyped/command.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/spreadsheet.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/hmsn.rkt") (lib "gtp-checkup/benchmarks/mbta/base/t-view-types.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/main.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/structs-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/benv-adapted.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/jfif.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/for-each.rkt") (lib "gtp-checkup/benchmarks/snake/typed/main.rkt") (lib "gtp-checkup/benchmarks/snake/typed/data-adaptor.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/date.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/lcs.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/basics.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/structs.rkt") (lib "gtp-checkup/benchmarks/take5/typed/card-pool-types.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/ocm.rkt") (lib "gtp-checkup/benchmarks/morsecode/untyped/levenshtein.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-struct.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/base-types.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/cut-tail.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/ui.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/ai.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/benchmark-util.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/mbta/base/untyped.rkt") (lib "gtp-checkup/benchmarks/forth/typed/command.rkt") (lib "gtp-checkup/benchmarks/sieve/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/csp.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/motion-help.rkt") (lib "gtp-checkup/benchmarks/gregor/base/cldr/likely-subtags.rkt") (lib "gtp-checkup/benchmarks/synth/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-structs.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/elim.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/core-structs.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/time.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/synth.rkt") (lib "gtp-checkup/benchmarks/synth/typed/drum.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/ymd.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/utils.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/ymd.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/population.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/quick-sample.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/quick-sample.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/mixer.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/state.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/summary-adapted.rkt") (lib "gtp-checkup/benchmarks/quadU/base/untyped.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/aux.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/dealer.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/quad-main.rkt") (lib "gtp-checkup/benchmarks/take5/typed/dealer-types.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/main.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/label.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph.scrbl") (lib "gtp-checkup/benchmarks/jpeg/typed/exif.rkt") (lib "gtp-checkup/benchmarks/forth/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/quads.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/quads.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/unsafe.rkt") (lib "gtp-checkup/benchmarks/mbta/typed-worst-case/t-graph.rkt") (lib "gtp-checkup/benchmarks/morsecode/untyped/morse-code-strings.rkt") (lib "gtp-checkup/benchmarks/zordoz/base/compiler-zo-structs.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/data.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/csp.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/tzinfo-adapter.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/card-pool-types.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-adapter.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/consts.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/render.rkt") (lib "gtp-checkup/benchmarks/forth/typed-worst-case/command.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/state-adapted.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/message-queue.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/quick-sample.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/quick-sample.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/elim.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/difference.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/utils.rkt") (lib "gtp-checkup/benchmarks/gregor/base/cldr/core.rkt") (lib "gtp-checkup/nightly.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/data.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/gen-graph.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/main.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/handlers.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata-adapted.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/array-struct.rkt") (lib "gtp-checkup/benchmarks/dungeon/base/un-types.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/base-types.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/state.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-minspantree.rkt") (lib "gtp-checkup/benchmarks/take5/typed/card.rkt") (lib "gtp-checkup/benchmarks/synth/typed/mixer.rkt") (lib "gtp-checkup/benchmarks/take5/typed/basics.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/untyped.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/time-adapted.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/difference.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/zo-shell.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/sugar-list.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/sugar-list.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/zombie.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/array-utils.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/wrap.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/wrap.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/offset-resolvers.rkt") (lib "gtp-checkup/benchmarks/snake/typed/data.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/benv.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/main.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/ui.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/ai.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/modulegraph-adapted.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/typed-data.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/main.rkt") (lib "gtp-checkup/benchmarks/sieve/typed/main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/render.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/deck-types.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/tree-adapted.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/summary.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/utilities.rkt") (lib "gtp-checkup/benchmarks/forth/base/make-history.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/const.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/strategy.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/motion.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/world.rkt") (lib "gtp-checkup/benchmarks/morsecode/base/untyped.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/generics.rkt") (lib "gtp-checkup/benchmarks/snake/typed/motion.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/gregor-structs.rkt") (lib "gtp-checkup/benchmarks/sieve/typed/streams.rkt") (lib "gtp-checkup/benchmarks/mbta/base/my-graph.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/tetras.rkt") (lib "gtp-checkup/benchmarks/synth/typed/array-utils.rkt") (lib "gtp-checkup/benchmarks/snake/typed/cut-tail.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-sequence.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/time.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/basics.rkt") (lib "gtp-checkup/benchmarks/fsmoo/base/untyped.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/utils.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/zo-shell.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/difference.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/core-structs.rkt") (lib "gtp-checkup/benchmarks/take5/typed/card-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/main.rkt"))) (name . "gtp-checkup") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/gtp-checkup.zip") (tags . ("tests" "typed-racket"))) 00: Resolved "basedir" via file:///home/root//catalogs/built/catalog 00: Resolved "gregor" via file:///home/root//catalogs/built/catalog 01: Resolved "gtp-util" via file:///home/root//catalogs/built/catalog 01: Resolved "memoize" via file:///home/root//catalogs/built/catalog 00: Resolved "require-typed-check" via file:///home/root//catalogs/built/catalog Resolved "pict-abbrevs" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "william@hatch.uno willghatch@gmail.com") (checksum . "5c2a09ab8bf63005eaa8fbc1845004dd931b3b9a") (dependencies . (("base") ("scribble-lib") ("racket-doc"))) (description . "XDG Basedir Spec library") (modules . ((lib "basedir/basedir.scrbl") (lib "basedir/main.rkt"))) (name . "basedir") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/basedir.zip") (tags . ("configuration"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "3f2e6d08341cf30340122a6251a5ece3f2dd1ad5") (dependencies . (("gregor-lib") ("gregor-doc") ("base"))) (description . "Date and time library") (modules . ()) (name . "gregor") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gregor.zip") (tags . ("calendar" "date" "time"))) pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "c7f2032eb81e53a5f7285d92a831c989968de13a") (dependencies . (("base") ("math-lib") ("pict-lib") ("rackunit-lib") ("racket-doc") ("scribble-lib") ("scribble-doc") ("rackunit-abbrevs") ("pict-doc"))) (description . "37 helper functions you won't find anywhere else") (modules . ((lib "gtp-util/system.rkt") (lib "gtp-util/scribblings/gtp-util.scrbl") (lib "gtp-util/main.rkt"))) (name . "gtp-util") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gtp-util.zip") (tags . ("gtp" "util"))) pkg: catalog response: #hash((author . "clements@racket-lang.org dherman@mozilla.com") (checksum . "07328bfb5d1f608e628333251ab7baa0b2f407d5") (dependencies . (("memoize-lib") ("memoize-doc") ("memoize-test"))) (description . "Memoization for functions") (modules . ()) (name . "memoize") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/memoize.zip") (tags . ("memoization"))) pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "6ecf277e00754be30836bd419aa7c5191458d66d") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("scribble-lib") ("racket-doc") ("rackunit-lib") ("typed-racket-doc"))) (description . "require/typed, but skips contracts on already-typed imports") (modules . ((lib "require-typed-check/test/fsm/population.rkt") (lib "require-typed-check/private/stxcls.rkt") (lib "require-typed-check/test/fsm/main.rkt") (lib "require-typed-check/test/basic/optional-lib.rkt") (lib "require-typed-check/test/bogus/main.rkt") (lib "require-typed-check/logging.rkt") (lib "require-typed-check/main.rkt") (lib "require-typed-check/deep.rkt") (lib "require-typed-check/scribblings/require-typed-check.scrbl") (lib "require-typed-check/test/opaque/unsafe.rkt") (lib "require-typed-check/test/fsm/automata.rkt") (lib "require-typed-check/test/opaque/main.rkt") (lib "require-typed-check/test/opaque/optional.rkt") (lib "require-typed-check/private/log.rkt") (lib "require-typed-check/private/require-typed-check.rkt") (lib "require-typed-check/test/basic/deep.rkt") (lib "require-typed-check/test/opaque/untyped.rkt") (lib "require-typed-check/optional.rkt") (lib "require-typed-check/test/opaque/typed.rkt") (lib "require-typed-check/test/basic/main.rkt") (lib "require-typed-check/test/basic/unsafe.rkt") (lib "require-typed-check/test/pr/3.rkt") (lib "require-typed-check/test/opaque/shallow.rkt") (lib "require-typed-check/test/bogus/typed.rkt") (lib "require-typed-check/test/fsm/utilities.rkt") (lib "require-typed-check/test/pr/1.rkt") (lib "require-typed-check/test/basic/shallow-lib.rkt") (lib "require-typed-check/test/basic/untyped.rkt") (lib "require-typed-check/private/test-util.rkt") (lib "require-typed-check/shallow.rkt") (lib "require-typed-check/test/fsm/automata-adapted.rkt") (lib "require-typed-check/test/basic/shallow.rkt") (lib "require-typed-check/unsafe.rkt") (lib "require-typed-check/test/basic/typed.rkt") (lib "require-typed-check/test/submodule/main.rkt") (lib "require-typed-check/private/typed-lib-cache.rkt") (lib "require-typed-check/test/basic/optional.rkt"))) (name . "require-typed-check") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/require-typed-check.zip") (tags . ("contracts" "require" "typed-racket"))) pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "8f58b000d4c20377f9262fe2e41ab61f85d273a5") (dependencies . (("base") ("pict-lib") ("lang-file") ("draw-lib") ("slideshow-lib") ("ppict") ("rackunit-lib") ("racket-doc") ("scribble-doc") ("gui-doc") ("pict-doc") ("draw-doc") ("plot-doc") ("plot-lib") ("scribble-lib") ("slideshow-doc"))) (description . "Pict helper functions") (modules . ((lib "pict-abbrevs/private/pict-abbrevs.rkt") (lib "pict-abbrevs/pplay.rkt") (lib "pict-abbrevs/slideshow.rkt") (lib "pict-abbrevs/scribblings/pict-abbrevs.scrbl") (lib "pict-abbrevs/main.rkt") (lib "pict-abbrevs/private/raco.rkt") (lib "pict-abbrevs/private/slideshow.rkt") (lib "pict-abbrevs/private/lightbulb.rkt"))) (name . "pict-abbrevs") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pict-abbrevs.zip") (tags . ("pict" "util"))) 00: Resolved "gregor-lib" via file:///home/root//catalogs/built/catalog Resolved "gregor-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "09f4926f868561cbb8270ba31f3af87c8657b1af") (dependencies . (("base") ("data-lib") ("memoize-lib") ("parser-tools-lib") ("tzinfo") ("cldr-core") ("cldr-bcp47") ("cldr-numbers-modern") ("cldr-dates-modern") ("cldr-localenames-modern"))) (description . "Code part of the gregor date and time library") (modules . ((lib "gregor/private/pattern/l10n/numbers.rkt") (lib "gregor/private/period.rkt") (lib "gregor/private/pattern/l10n/zone-util.rkt") (lib "gregor/private/pattern/ast/era.rkt") (lib "gregor/private/pattern/ast/second.rkt") (lib "gregor/private/pattern/l10n/gmt-offset.rkt") (lib "gregor/private/pattern/ast/hour.rkt") (lib "gregor/private/pattern/ast/minute.rkt") (lib "gregor/private/pattern/l10n/named-trie.rkt") (lib "gregor/private/core/compare.rkt") (lib "gregor/private/pattern/ast/week.rkt") (lib "gregor/private/iso8601-parse.rkt") (lib "gregor/main.rkt") (lib "gregor/private/pattern/l10n/l10n-week.rkt") (lib "gregor/private/pattern/l10n/iso-offset.rkt") (lib "gregor/private/pattern/l10n/trie.rkt") (lib "gregor/private/exn.rkt") (lib "gregor/private/pattern/l10n/zone-id.rkt") (lib "gregor/time.rkt") (lib "gregor/private/pattern/lexer.rkt") (lib "gregor/private/clock.rkt") (lib "gregor/private/pattern/l10n/zone-loc.rkt") (lib "gregor/private/pattern/ast.rkt") (lib "gregor/private/pattern/l10n/symbols.rkt") (lib "gregor/private/pattern/ast/year.rkt") (lib "gregor/private/pattern/ast/zone.rkt") (lib "gregor/private/pattern/parse-state.rkt") (lib "gregor/private/pattern/ast/literal.rkt") (lib "gregor/private/difference.rkt") (lib "gregor/private/core/math.rkt") (lib "gregor/private/pattern/ast/month.rkt") (lib "gregor/private/time.rkt") (lib "gregor/private/pattern/ast/period.rkt") (lib "gregor/private/pattern/ast/weekday.rkt") (lib "gregor/private/datetime.rkt") (lib "gregor/private/moment-base.rkt") (lib "gregor/private/pattern/ast/day.rkt") (lib "gregor/private/parse.rkt") (lib "gregor/private/date.rkt") (lib "gregor/private/moment.rkt") (lib "gregor/private/format.rkt") (lib "gregor/private/pattern/l10n/zone-nonloc.rkt") (lib "gregor/private/generics.rkt") (lib "gregor/period.rkt") (lib "gregor/private/pattern/ast/separator.rkt") (lib "gregor/private/core/structs.rkt") (lib "gregor/private/core/hmsn.rkt") (lib "gregor/private/pattern/l10n/metazone.rkt") (lib "gregor/private/pattern/ast/quarter.rkt") (lib "gregor/private/core/ymd.rkt") (lib "gregor/private/offset-resolvers.rkt"))) (name . "gregor-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gregor-lib.zip") (tags . ("calendar" "date" "time"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "9837ddc1a5611563d254dbed3f03c75b672ecd56") (dependencies . (("base") ("base") ("racket-doc") ("data-doc") ("data-lib") ("gregor-lib") ("scribble-lib") ("sandbox-lib") ("tzinfo"))) (description . "Documentation part of gregor library") (modules . ((lib "gregor/scribblings/datetime.scrbl") (lib "gregor/scribblings/datetime-provider.scrbl") (lib "gregor/scribblings/gregor.scrbl") (lib "gregor/scribblings/timezone.scrbl") (lib "gregor/scribblings/time.scrbl") (lib "gregor/scribblings/date-provider.scrbl") (lib "gregor/scribblings/format.scrbl") (lib "gregor/scribblings/clock.scrbl") (lib "gregor/scribblings/time-arithmetic-provider.scrbl") (lib "gregor/scribblings/moment-provider.scrbl") (lib "gregor/scribblings/datetime-arithmetic-provider.scrbl") (lib "gregor/scribblings/moment.scrbl") (lib "gregor/scribblings/date-arithmetic-provider.scrbl") (lib "gregor/scribblings/period.scrbl") (lib "gregor/scribblings/date.scrbl") (lib "gregor/scribblings/query.scrbl") (lib "gregor/scribblings/exceptions.scrbl") (lib "gregor/scribblings/time-provider.scrbl"))) (name . "gregor-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gregor-doc.zip") (tags . ("calendar" "date" "time"))) 00: Resolved "memoize-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "tzinfo" via file:///home/root//catalogs/built/catalog 01: Resolved "cldr-core" via file:///home/root//catalogs/built/catalog 01: Resolved "cldr-bcp47" via file:///home/root//catalogs/built/catalog 00: Resolved "cldr-numbers-modern" via file:///home/root//catalogs/built/catalog 00: Resolved "cldr-dates-modern" via file:///home/root//catalogs/built/catalog Resolved "cldr-localenames-modern" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "clements@racket-lang.org dherman@mozilla.com") (checksum . "2f9666efede7a7b7d5182564408bf78edaaba09a") (dependencies . (("base"))) (description . "core library for memoize") (modules . ((lib "memoize/main.rkt"))) (name . "memoize-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/memoize-lib.zip") (tags . ("memoization"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "e5f427e0cc5e1b550d9d8de05ea56291cc4e18c7") (dependencies . (("base") ("cldr-core") ("rackunit-lib") ("tzdata" #:version "0.5" #:platform windows) ("racket-doc") ("scribble-lib"))) (description . "API for querying the IANA tz database") (modules . ((lib "tzinfo/zoneinfo.rkt") (lib "tzinfo/private/os/env.rkt") (lib "tzinfo/private/os/unix.rkt") (lib "tzinfo/private/tabfile-parser.rkt") (lib "tzinfo/main.rkt") (lib "tzinfo/source.rkt") (lib "tzinfo/private/zoneinfo-search.rkt") (lib "tzinfo/private/tzfile-parser.rkt") (lib "tzinfo/private/os/windows.rkt") (lib "tzinfo/private/zoneinfo.rkt") (lib "tzinfo/private/structs.rkt") (lib "tzinfo/test/zoneinfo.rkt") (lib "tzinfo/private/os/windows-registry.rkt") (lib "tzinfo/private/generics.rkt") (lib "tzinfo/scribblings/tzinfo.scrbl"))) (name . "tzinfo") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/tzinfo.zip") (tags . ("timezone"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "05c3db30de74d567c1d60d6956d32cc8c1780c53") (dependencies . (("base") ("memoize-lib") ("racket-doc") ("scribble-lib"))) (description . "API for cldr-core data set") (modules . ((lib "cldr/file.rkt") (lib "cldr/likely-subtags.rkt") (lib "cldr/core.rkt") (lib "cldr/scribblings/cldr-core.scrbl"))) (name . "cldr-core") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-core.zip") (tags . ("cldr" "l10n"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "ef946c913b792e7af6ac3dadd586503148bbe900") (dependencies . (("base") ("cldr-core") ("scribble-lib") ("racket-doc"))) (description . "API for BCP47 extensions to CLDR") (modules . ((lib "cldr/bcp47/timezone.rkt") (lib "cldr/bcp47/scribblings/cldr-bcp47-timezone.scrbl"))) (name . "cldr-bcp47") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-bcp47.zip") (tags . ("cldr" "l10n"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "daf2e30602c5a0df44a43600e929f414c2b6709d") (dependencies . (("base") ("cldr-core") ("scribble-lib") ("racket-doc"))) (description . "API for cldr-numbers-modern data set") (modules . ((lib "cldr/scribblings/cldr-numbers-modern.scrbl") (lib "cldr/numbers-modern.rkt"))) (name . "cldr-numbers-modern") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-numbers-modern.zip") (tags . ("cldr" "l10n"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "e9f27991ef65505b3959a9fea37cf1d283a13b39") (dependencies . (("base") ("cldr-core") ("scribble-lib") ("racket-doc"))) (description . "API for cldr-dates-modern data set") (modules . ((lib "cldr/dates-modern.rkt") (lib "cldr/scribblings/cldr-dates-modern.scrbl"))) (name . "cldr-dates-modern") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-dates-modern.zip") (tags . ("cldr" "l10n"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "f6d1b480133d28b930d1010ecf2569958c5cb0bb") (dependencies . (("base") ("cldr-core") ("scribble-lib") ("racket-doc"))) (description . "API for cldr-localenames-modern data set") (modules . ((lib "cldr/scribblings/cldr-localenames-modern.scrbl") (lib "cldr/localenames-modern.rkt"))) (name . "cldr-localenames-modern") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-localenames-modern.zip") (tags . ("cldr" "l10n"))) Resolved "rackunit-abbrevs" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "21b09d1d74580fb023bddd6a8a3ecbd2e305ae2a") (dependencies . (("base") ("rackunit-lib") ("typed-racket-lib") ("typed-racket-more") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Iterated RackUnit tests") (modules . ((lib "rackunit-abbrevs/main.rkt") (lib "rackunit-abbrevs/private/typed-rackunit-abbrevs.rkt") (lib "rackunit-abbrevs/typed.rkt") (lib "rackunit-abbrevs/private/test-typed-rackunit-abbrevs.rkt") (lib "rackunit-abbrevs/private/error-reporting.rkt") (lib "rackunit-abbrevs/private/test-rackunit-abbrevs.rkt") (lib "rackunit-abbrevs/private/test-syntax-error.rkt") (lib "rackunit-abbrevs/private/rackunit-abbrevs.rkt") (lib "rackunit-abbrevs/error-reporting.rkt") (lib "rackunit-abbrevs/scribblings/rackunit-abbrevs.scrbl"))) (name . "rackunit-abbrevs") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackunit-abbrevs.zip") (tags . ("rackunit" "testing"))) 00: Resolved "memoize-doc" via file:///home/root//catalogs/built/catalog Resolved "memoize-test" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "clements@racket-lang.org") (checksum . "63d6a56e4592dd0b15a59dff1c806e9e5d93594d") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("memoize-lib"))) (description . "documentation for memoize library") (modules . ()) (name . "memoize-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/memoize-doc.zip") (tags . ("memoization"))) pkg: catalog response: #hash((author . "clements@racket-lang.org") (checksum . "b3cd258e6e423dd6c9eea7be3d6f038dc6bac449") (dependencies . (("base") ("rackunit-lib") ("memoize-lib"))) (description . "testing code for memoize \r\n... bogus change to refresh checksum?") (modules . ((lib "memoize/private/tests.rkt"))) (name . "memoize-test") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/memoize-test.zip") (tags . ("memoization"))) 00: Resolved "lang-file" via file:///home/root//catalogs/built/catalog Resolved "ppict" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "8a5a0c40c18ca28770c3816ec4046074f00b607a") (dependencies . (("base") ("lang-file-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "Functions for dealing with #lang files") (modules . ((lib "lang-file/scribblings/read-lang-file.scrbl"))) (name . "lang-file") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lang-file.zip") (tags . ("file" "lang"))) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "c746d523f0adfaa3c14690572113e010d47779c2") (dependencies . (("base") ("draw-lib") ("gui-lib") ("pict-lib") ("slideshow-lib") ("racket-doc") ("scribble-lib") ("pict-doc") ("slideshow-doc"))) (description . "progressive picts and slideshows") (modules . ((lib "ppict/ppict.scrbl") (lib "ppict/slideshow2.rkt") (lib "ppict/main.rkt") (lib "ppict/private/ppict.rkt") (lib "ppict/private/ppict-syntax.rkt") (lib "ppict/private/tag-pict-regions-gui.rkt") (lib "ppict/align.rkt") (lib "ppict/private/tag-pict.rkt") (lib "ppict/2.rkt") (lib "ppict/slideshow.rkt") (lib "ppict/tag.rkt") (lib "ppict/pict.rkt"))) (name . "ppict") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/ppict.zip") (tags . ("graphics" "slideshow"))) Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "7045165ab625537ef20439f2cabe71dbb0789b9c") (dependencies . (("base") ("rackunit-lib"))) (description . "Functions for dealing with #lang files") (modules . ((lib "lang-file/test/literal.rkt") (lib "lang-file/test/tuvalu.rkt") (lib "lang-file/read-lang-file.rkt") (lib "lang-file/test/interp.rkt"))) (name . "lang-file-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lang-file-lib.zip") (tags . ("file" "lang"))) pkg: creating link to # pkg: updating db with "lang-file-lib" to '#s(pkg-info (catalog "lang-file-lib") "7045165ab625537ef20439f2cabe71dbb0789b9c" #t) pkg: creating single-collection link to # pkg: updating db with "ppict" to '#s((sc-pkg-info pkg-info 3) (catalog "ppict") "c746d523f0adfaa3c14690572113e010d47779c2" #t "ppict") pkg: creating single-collection link to # pkg: updating db with "gtp-checkup" to '#s((sc-pkg-info pkg-info 3) (catalog "gtp-checkup") "2c9d8dfa539596865a5074659595f21c8352842d" #f "gtp-checkup") pkg: creating single-collection link to # pkg: updating db with "basedir" to '#s((sc-pkg-info pkg-info 3) (catalog "basedir") "5c2a09ab8bf63005eaa8fbc1845004dd931b3b9a" #t "basedir") pkg: creating link to # pkg: updating db with "gregor" to '#s(pkg-info (catalog "gregor") "3f2e6d08341cf30340122a6251a5ece3f2dd1ad5" #t) pkg: creating link to # pkg: updating db with "gregor-lib" to '#s(pkg-info (catalog "gregor-lib") "09f4926f868561cbb8270ba31f3af87c8657b1af" #t) pkg: creating link to # pkg: updating db with "memoize-lib" to '#s(pkg-info (catalog "memoize-lib") "2f9666efede7a7b7d5182564408bf78edaaba09a" #t) pkg: creating link to # pkg: updating db with "tzinfo" to '#s(pkg-info (catalog "tzinfo") "e5f427e0cc5e1b550d9d8de05ea56291cc4e18c7" #t) pkg: creating link to # pkg: updating db with "cldr-core" to '#s(pkg-info (catalog "cldr-core") "05c3db30de74d567c1d60d6956d32cc8c1780c53" #t) pkg: creating link to # pkg: updating db with "cldr-bcp47" to '#s(pkg-info (catalog "cldr-bcp47") "ef946c913b792e7af6ac3dadd586503148bbe900" #t) pkg: creating link to # pkg: updating db with "cldr-numbers-modern" to '#s(pkg-info (catalog "cldr-numbers-modern") "daf2e30602c5a0df44a43600e929f414c2b6709d" #t) pkg: creating link to # pkg: updating db with "cldr-dates-modern" to '#s(pkg-info (catalog "cldr-dates-modern") "e9f27991ef65505b3959a9fea37cf1d283a13b39" #t) pkg: creating link to # pkg: updating db with "cldr-localenames-modern" to '#s(pkg-info (catalog "cldr-localenames-modern") "f6d1b480133d28b930d1010ecf2569958c5cb0bb" #t) pkg: creating link to # pkg: updating db with "gregor-doc" to '#s(pkg-info (catalog "gregor-doc") "9837ddc1a5611563d254dbed3f03c75b672ecd56" #t) pkg: creating single-collection link to # pkg: updating db with "gtp-util" to '#s((sc-pkg-info pkg-info 3) (catalog "gtp-util") "c7f2032eb81e53a5f7285d92a831c989968de13a" #t "gtp-util") pkg: creating single-collection link to # pkg: updating db with "rackunit-abbrevs" to '#s((sc-pkg-info pkg-info 3) (catalog "rackunit-abbrevs") "21b09d1d74580fb023bddd6a8a3ecbd2e305ae2a" #t "rackunit-abbrevs") pkg: creating link to # pkg: updating db with "memoize" to '#s(pkg-info (catalog "memoize") "07328bfb5d1f608e628333251ab7baa0b2f407d5" #t) pkg: creating link to # pkg: updating db with "memoize-doc" to '#s(pkg-info (catalog "memoize-doc") "63d6a56e4592dd0b15a59dff1c806e9e5d93594d" #t) pkg: creating link to # pkg: updating db with "memoize-test" to '#s(pkg-info (catalog "memoize-test") "b3cd258e6e423dd6c9eea7be3d6f038dc6bac449" #t) pkg: creating single-collection link to # pkg: updating db with "require-typed-check" to '#s((sc-pkg-info pkg-info 3) (catalog "require-typed-check") "6ecf277e00754be30836bd419aa7c5191458d66d" #t "require-typed-check") pkg: creating single-collection link to # pkg: updating db with "pict-abbrevs" to '#s((sc-pkg-info pkg-info 3) (catalog "pict-abbrevs") "8f58b000d4c20377f9262fe2e41ab61f85d273a5" #t "pict-abbrevs") pkg: creating link to # pkg: updating db with "lang-file" to '#s(pkg-info (catalog "lang-file") "8a5a0c40c18ca28770c3816ec4046074f00b607a" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of gtp-checkup: basedir gregor gtp-util memoize require-typed-check pict-abbrevs dependencies of gregor: gregor-lib gregor-doc dependencies of gregor-lib: memoize-lib tzinfo cldr-core cldr-bcp47 cldr-numbers-modern cldr-dates-modern cldr-localenames-modern dependencies of gtp-util: rackunit-abbrevs dependencies of memoize: memoize-doc memoize-test dependencies of pict-abbrevs: lang-file ppict dependencies of lang-file: lang-file-lib raco setup: version: 8.14 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.14 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.14/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.14/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.14/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [15:02:35] raco setup: updating: /home/root/user/.local/share/racket/8.14/share/info-cache.rktd raco setup: --- pre-installing collections --- [15:02:35] raco setup: --- installing foreign libraries --- [15:02:35] raco setup: --- installing shared files --- [15:02:35] raco setup: --- compiling collections --- [15:02:35] raco setup: --- parallel build using 2 jobs --- [15:02:35] raco setup: 1 making: /basedir raco setup: 0 making: /cldr-bcp47/cldr/bcp47 raco setup: 1 making: /cldr-core/cldr raco setup: 0 making: /cldr-dates-modern/cldr raco setup: 0 making: /cldr-localenames-modern/cldr raco setup: 1 making: /cldr-numbers-modern/cldr raco setup: 1 making: /gregor-doc/gregor raco setup: 0 making: /gregor-lib/gregor raco setup: 0 making: /gregor-lib/gregor/private raco setup: 0 making: /gregor-lib/gregor/private/core raco setup: 0 making: /gregor-lib/gregor/private/pattern raco setup: 0 making: /gregor-lib/gregor/private/pattern/ast raco setup: 0 making: /gregor-lib/gregor/private/pattern/l10n raco setup: 0 making: /gtp-checkup raco setup: 1 making: /gtp-util raco setup: 1 making: /lang-file-lib/lang-file raco setup: 1 making: /lang-file-lib/lang-file/test raco setup: 1 making: /lang-file/lang-file raco setup: 1 making: /memoize-lib/memoize raco setup: 1 making: /memoize-test/memoize/private raco setup: 1 making: /pict-abbrevs raco setup: 1 making: /pict-abbrevs/private raco setup: 1 making: /ppict raco setup: 1 making: /ppict/private raco setup: 1 making: /rackunit-abbrevs raco setup: 1 making: /rackunit-abbrevs/private raco setup: 1 making: /require-typed-check raco setup: 0 making: /gtp-checkup/data raco setup: 0 making: /gtp-checkup/private raco setup: 1 making: /require-typed-check/private raco setup: 1 making: /require-typed-check/test/basic raco setup: 0 making: /gtp-checkup/scribblings raco setup: 0 making: /tzinfo/tzinfo (TZInfo) raco setup: 0 making: /tzinfo/tzinfo/private raco setup: 0 making: /tzinfo/tzinfo/private/os raco setup: 0 making: /tzinfo/tzinfo/test raco setup: --- creating launchers --- [15:02:51] raco setup: --- installing man pages --- [15:02:51] raco setup: --- building documentation --- [15:02:51] raco setup: syncing: /basedir/doc/basedir raco setup: syncing: /cldr-bcp47/cldr/bcp47/doc/cldr-bcp47-timezone raco setup: syncing: /cldr-core/cldr/doc/cldr-core raco setup: syncing: /cldr-dates-modern/cldr/doc/cldr-dates-modern raco setup: syncing: /cldr-localenames-modern/cldr/doc/cldr-localenames-modern raco setup: syncing: /cldr-numbers-modern/cldr/doc/cldr-numbers-modern raco setup: syncing: /gregor-doc/gregor/doc/gregor raco setup: syncing: /gtp-util/doc/gtp-util raco setup: syncing: /pict-abbrevs/doc/pict-abbrevs raco setup: syncing: /ppict/doc/ppict raco setup: syncing: /rackunit-abbrevs/doc/rackunit-abbrevs raco setup: syncing: /lang-file/lang-file/doc/read-lang-file raco setup: syncing: /require-typed-check/doc/require-typed-check raco setup: syncing: /tzinfo/tzinfo/doc/tzinfo raco setup: 0 running: /gtp-checkup/scribblings/gtp-checkup.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /gtp-checkup/scribblings/gtp-checkup.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [15:04:35] raco setup: --- post-installing collections --- [15:04:35] The time is now Thursday, August 29th, 2024 3:04:35pm