The time is now Friday, March 29th, 2024 12:11:22pm (/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 lsl) Resolved "lsl" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "849ca48b229aedc5f58781d1c13880c087b8a1f5") (dependencies . (("errortrace-lib") ("base") ("lsl-lib") ("automata-doc") ("compatibility-doc") ("htdp-doc") ("htdp-lib") ("chk-lib") ("racket-doc") ("sandbox-lib") ("scribble-lib"))) (description . "") (modules . ((lib "lsl/scribblings/label.rkt") (lib "lsl/tests/allof.rkt") (lib "lsl/tests/concurrency.rkt") (lib "lsl/tests/recursive.rkt") (lib "lsl/tests/immediate.rkt") (lib "lsl/tests/rackunit.rkt") (lib "lsl/tests/struct.rkt") (lib "lsl/scribblings/lsl.scrbl") (lib "lsl/tests/oneof.rkt") (lib "lsl/tests/regression.rkt") (lib "lsl/tests/function.rkt") (lib "lsl/tests/const-folding.rkt") (lib "lsl/tests/record.rkt") (lib "lsl/tests/list.rkt") (lib "lsl/tests/parametric.rkt") (lib "lsl/tests/util.rkt"))) (name . "lsl") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/lsl.zip") (tags . ())) 00: Resolved "lsl-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "automata-doc" via file:///home/root//catalogs/built/catalog Resolved "chk-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "a8f3adb2539b7dda3f994c014b63360b77716269") (dependencies . (("gui-easy-lib") ("metapict") ("automata-lib") ("http-easy-lib") ("plot-gui-lib") ("plot-lib") ("rackunit-lib") ("struct-set") ("threading-lib") ("base") ("ee-lib") ("errortrace-lib") ("mischief") ("rosette") ("syntax-classes") ("threading"))) (description . "") (modules . ((lib "lsl/private/library/automata.rkt") (lib "lsl/private/library/concurrency.rkt") (lib "lsl/private/library/concurrency-gui.rkt") (lib "lsl/private/guard.rkt") (lib "lsl/private/library/function.rkt") (lib "lsl/private/library/test.rkt") (lib "lsl/private/library/list.rkt") (lib "lsl/private/syntax/splicing.rkt") (lib "lsl/private/contract/parametric.rkt") (lib "lsl/private/contract/function.rkt") (lib "lsl/private/syntax/expand.rkt") (lib "lsl/private/syntax/grammar.rkt") (lib "lsl/private/library/number.rkt") (lib "lsl/private/library/char.rkt") (lib "lsl/private/contract/recursive.rkt") (lib "lsl/private/contract/immediate.rkt") (lib "lsl/private/proxy.rkt") (lib "lsl/private/syntax/compile.rkt") (lib "lsl/private/contract/oneof.rkt") (lib "lsl/performance.rkt") (lib "lsl/private/syntax/free-vars.rkt") (lib "lsl/private/contract/allof.rkt") (lib "lsl/private/syntax/interface.rkt") (lib "lsl/private/library/core.rkt") (lib "lsl/private/util.rkt") (lib "lsl/private/library/string.rkt") (lib "lsl/private/library/boolean.rkt") (lib "lsl/private/library/time.rkt") (lib "lsl/private/library/equal.rkt") (lib "lsl/private/contract/struct.rkt") (lib "lsl/main.rkt") (lib "lsl/private/library/contract.rkt") (lib "lsl/private/contract/common.rkt") (lib "lsl/private/contract/list.rkt"))) (name . "lsl-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lsl-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "de232561821a27a028484c422d8ed9f280df13a0") (dependencies . (("base" #:version "6.2.900.4") ("automata-lib") ("scribble-lib") ("racket-doc"))) (description . "a library for defining efficient automata using match patterns") (modules . ((lib "automata/scribblings/automata.scrbl") (lib "automata/scribblings/re.scrbl"))) (name . "automata-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/automata-doc.zip") (tags . ("automata" "match" "regex"))) pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "cd1f7a915ff032365efda503021b3b32f21ba676") (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"))) 00: Resolved "gui-easy-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "metapict" via file:///home/root//catalogs/built/catalog 01: Resolved "automata-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "http-easy-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "struct-set" via file:///home/root//catalogs/built/catalog 00: Resolved "threading-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "ee-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "mischief" via file:///home/root//catalogs/built/catalog 00: Resolved "rosette" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-classes" via file:///home/root//catalogs/built/catalog Resolved "threading" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "2a9949f60b9bdb7b10974921a58db4ffe1de00a7") (dependencies . (("base") ("box-extra-lib") ("draw-lib") ("gui-lib") ("pict-lib") ("rackunit-lib"))) (description . "A declarative API on top of racket/gui. (implementation)") (modules . ((lib "racket/gui/easy/private/view/window.rkt") (lib "racket/gui/easy.rkt") (lib "racket/gui/easy/private/view/table.rkt") (lib "racket/gui/easy/private/executor.rkt") (lib "racket/gui/easy/private/view/view.rkt") (lib "racket/gui/easy/private/view/image.rkt") (lib "racket/gui/easy/private/view/keymap.rkt") (lib "racket/gui/easy/view.rkt") (lib "racket/gui/easy/font.rkt") (lib "racket/gui/easy/private/view/choice.rkt") (lib "racket/gui/easy/private/view/canvas.rkt") (lib "racket/gui/easy/private/view/hooks.rkt") (lib "racket/gui/easy/operator.rkt") (lib "racket/gui/easy/private/view/button.rkt") (lib "racket/gui/easy/private/view/spacer.rkt") (lib "racket/gui/easy/color.rkt") (lib "racket/gui/easy/private/view/container.rkt") (lib "racket/gui/easy/private/view/if.rkt") (lib "racket/gui/easy/private/view/slider.rkt") (lib "racket/gui/easy/private/view/observable.rkt") (lib "racket/gui/easy/private/observable.rkt") (lib "racket/gui/easy/private/renderer.rkt") (lib "racket/gui/easy/private/logger.rkt") (lib "racket/gui/easy/debugger.rkt") (lib "racket/gui/easy/private/view/list.rkt") (lib "racket/gui/easy/renderer.rkt") (lib "racket/gui/easy/private/view/tabs.rkt") (lib "racket/gui/easy/private/view/progress.rkt") (lib "racket/gui/easy/hash-lang.rkt") (lib "racket/gui/easy/private/view/menu.rkt") (lib "racket/gui/easy/contract.rkt") (lib "racket/gui/easy/private/view/checkbox.rkt") (lib "racket/gui/easy/private/view/common.rkt") (lib "racket/gui/easy/private/view/snip.rkt") (lib "racket/gui/easy/private/view/radios.rkt") (lib "racket/gui/easy/private/view/proxy.rkt") (lib "racket/gui/easy/private/view/input.rkt") (lib "racket/gui/easy/observable.rkt") (lib "racket/gui/easy/private/view.rkt") (lib "racket/gui/easy/private/view/text.rkt") (lib "racket/gui/easy/private/view/panel.rkt"))) (name . "gui-easy-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gui-easy-lib.zip") (tags . ("gui"))) pkg: catalog response: #hash((author . "jensaxel@soegaard.net") (checksum . "0cd69c0dd6bd11d89c5e84f5511e94bb12fd4efe") (dependencies . (("base") ("draw-lib") ("math-lib") ("gui-lib") ("parser-tools-lib") ("pict-lib") ("slideshow-lib") ("srfi-lite-lib") ("ppict") ("htdp-lib") ("compatibility-lib") ("graph-lib") ("plot-gui-lib") ("plot-lib") ("rackunit-lib") ("unstable-latent-contract-lib") ("unstable-parameter-group-lib") ("at-exp-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("draw-doc") ("pict-doc") ("racket-poppler"))) (description . "Create beautiful pictures and diagrams") (modules . ((lib "metapict/scribblings/pt.scrbl") (lib "metapict/svg/chess.rkt") (lib "metapict/line.rkt") (lib "metapict/box-and-pointer-diagram.rkt") (lib "metapict/graph.rkt") (lib "metapict/markings.rkt") (lib "metapict/grid.rkt") (lib "metapict/exp/framed-table.rkt") (lib "metapict/adaptive-plot.rkt") (lib "metapict/trig.rkt") (lib "metapict/scribblings/examples.scrbl") (lib "metapict/examples/racket-logo.rkt") (lib "metapict/device.rkt") (lib "metapict/dc.rkt") (lib "metapict/path-operations.rkt") (lib "metapict/trans.rkt") (lib "metapict/axis.rkt") (lib "metapict/extras/flags.rkt") (lib "metapict/bez.rkt") (lib "metapict/exp/render-math-using-picts.rkt") (lib "metapict/function.rkt") (lib "metapict/examples/pointilism.rkt") (lib "metapict/color.rkt") (lib "metapict/scribblings/curves.scrbl") (lib "metapict/examples/venn.rkt") (lib "metapict/def.rkt") (lib "metapict/svg/svg-path.rkt") (lib "metapict/examples/uml.rkt") (lib "metapict/examples/arbelos.rkt") (lib "metapict/scribblings/labels.scrbl") (lib "metapict/todo/lexer.rkt") (lib "metapict/scribblings/utils.rkt") (lib "metapict/pen-and-brush.rkt") (lib "metapict/parameters.rkt") (lib "metapict/svg/elliptical-arc.rkt") (lib "metapict/examples/metapost-examples.rkt") (lib "metapict/examples/reuleaux-triangle.rkt") (lib "metapict/examples/rectilinear.rkt") (lib "metapict/gradient.rkt") (lib "metapict/mat.rkt") (lib "metapict/examples/root-spiral.rkt") (lib "metapict/main.rkt") (lib "metapict/scribblings/representation.scrbl") (lib "metapict/curve.rkt") (lib "metapict/examples/pict-finders.rkt") (lib "metapict/save-svg.rkt") (lib "metapict/arrow.rkt") (lib "metapict/scribblings/examples4.rkt") (lib "metapict/scribblings/metapict.scrbl") (lib "metapict/snake.rkt") (lib "metapict/examples/truncated-cone.rkt") (lib "metapict/examples/geometry-exercises.rkt") (lib "metapict/scribblings/construction-of-bezier-curve.rkt") (lib "metapict/scribblings/draw-and-fill.scrbl") (lib "metapict/node.rkt") (lib "metapict/examples/olympic-rings.rkt") (lib "metapict/scribblings/bez.scrbl") (lib "metapict/clipping.rkt") (lib "metapict/palette.rkt") (lib "metapict/draw.rkt") (lib "metapict/scribblings/pict.scrbl") (lib "metapict/pt-vec.rkt") (lib "metapict/polygons.rkt") (lib "metapict/geometry.rkt") (lib "metapict/domain.rkt") (lib "metapict/examples/generate-exercises-to-pdf.rkt") (lib "metapict/examples/kmiecik-examples-from-tug-boat.rkt") (lib "metapict/scribblings/reference.scrbl") (lib "metapict/examples/exercises-angles-in-right-triangle.rkt") (lib "metapict/exp/tex/render-tex-formula.rkt") (lib "metapict/shapes.rkt") (lib "metapict/examples/convex-hull.rkt") (lib "metapict/examples/random-curve.rkt") (lib "metapict/examples/pointilism2.rkt") (lib "metapict/hom.rkt") (lib "metapict/examples/state-machine-turn-stile.rkt") (lib "metapict/label.rkt") (lib "metapict/function-plot.rkt") (lib "metapict/svg/svg-path-lexer-and-parser.rkt") (lib "metapict/parametric-plot.rkt") (lib "metapict/text-path.rkt") (lib "metapict/examples/gradient-example.rkt") (lib "metapict/scribblings/curve.scrbl") (lib "metapict/extras/function-tables.rkt") (lib "metapict/todo/test-grammar-and-lexer.rkt") (lib "metapict/system.rkt") (lib "metapict/tests/test-node.rkt") (lib "metapict/examples/rotating-triangle.rkt") (lib "metapict/draw-bezier.rkt") (lib "metapict/todo/tagged-pict.rkt") (lib "metapict/examples/graphviz-experiment.rkt") (lib "metapict/tests/commutative-diagrams.rkt") (lib "metapict/list3-sequence.rkt") (lib "metapict/todo/linear-equations.rkt") (lib "metapict/histogram.rkt") (lib "metapict/dc-path.rkt") (lib "metapict/examples/vector-diagrams.rkt") (lib "metapict/examples/peano.rkt") (lib "metapict/examples/glider.rkt") (lib "metapict/scribblings/examples5.scrbl") (lib "metapict/scribblings/device.scrbl") (lib "metapict/bitmap.rkt") (lib "metapict/plot.rkt") (lib "metapict/structs.rkt") (lib "metapict/text.rkt") (lib "metapict/tests/test-text-path.rkt") (lib "metapict/examples/cuboid.rkt") (lib "metapict/pict.rkt") (lib "metapict/examples/stream-plot.rkt") (lib "metapict/examples/asymptote-hobby-control.rkt") (lib "metapict/examples/koch-curve.rkt") (lib "metapict/examples/asymptote-venn-diagram.rkt") (lib "metapict/shade.rkt") (lib "metapict/examples/integral-left-sum.rkt") (lib "metapict/examples/example-graph.rkt") (lib "metapict/scribblings/trans.scrbl") (lib "metapict/window.rkt") (lib "metapict/scribblings/guide.scrbl") (lib "metapict/examples/metapost-manual.rkt") (lib "metapict/cubic-equation.rkt") (lib "metapict/tests/test-radial-gradient-for-ellipse.rkt") (lib "metapict/examples/triangles.rkt") (lib "metapict/scribblings/examples2.rkt") (lib "metapict/match-case-lambda.rkt") (lib "metapict/tests/test-rotation.rkt") (lib "metapict/path.rkt") (lib "metapict/exp/font-root-test.rkt") (lib "metapict/save-pdf.rkt") (lib "metapict/scribblings/guide.rkt") (lib "metapict/debug.rkt") (lib "metapict/scribblings/moonlanding.rkt") (lib "metapict/examples/grapviz-experiment.rkt") (lib "metapict/tree.rkt") (lib "metapict/metapict.rkt") (lib "metapict/examples/sine-cosine-drawing.rkt") (lib "metapict/crop.rkt") (lib "metapict/scribblings/colors.scrbl") (lib "metapict/font.rkt") (lib "metapict/tests/test-latex-formulas.rkt") (lib "metapict/scribblings/coordinates.scrbl") (lib "metapict/pict-lite.rkt") (lib "metapict/examples/metafont-book.rkt") (lib "metapict/todo/grammar-expressions.rkt") (lib "metapict/todo/grammar.rkt") (lib "metapict/examples/missing-square-puzzle.rkt") (lib "metapict/examples/triangle-sss.rkt") (lib "metapict/angles.rkt") (lib "metapict/examples/polygonal-numbers.rkt"))) (name . "metapict") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/metapict.zip") (tags . ("graph" "graphics" "images" "metapict" "node" "tikz"))) pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "02b063d80a81191ed99141f500559bb2812a8e97") (dependencies . (("base" #:version "6.2.900.6"))) (description . "a library for defining efficient automata using match patterns") (modules . ((lib "automata/nfa.rkt") (lib "automata/re-help.rkt") (lib "automata/nfa-star.rkt") (lib "automata/re.rkt") (lib "automata/machine.rkt") (lib "automata/nfa-ep.rkt") (lib "automata/re-ext.rkt") (lib "automata/re-compile.rkt") (lib "automata/dfa.rkt"))) (name . "automata-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/automata-lib.zip") (tags . ("automata" "match" "regex"))) pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "b1deedb7b393598d5634940f89d848c7f3050b2c") (dependencies . (("base" #:version "8.1.0.4") ("net-cookies-lib") ("resource-pool-lib" #:version "0.1") ("unix-socket-lib"))) (description . "A high-level HTTP client. (implementation)") (modules . ((lib "net/http-easy/private/common.rkt") (lib "net/http-easy/private/auth.rkt") (lib "net/http-easy/private/url.rkt") (lib "net/http-easy/private/reflect.rkt") (lib "net/http-easy/private/payload.rkt") (lib "net/http-easy/private/logger.rkt") (lib "net/http-easy/private/user-agent.rkt") (lib "net/http-easy/private/session.rkt") (lib "net/http-easy/private/proxy.rkt") (lib "net/http-easy/private/timeout.rkt") (lib "net/http-easy/private/contract.rkt") (lib "net/http-easy.rkt") (lib "net/http-easy/private/port.rkt") (lib "net/http-easy/private/error.rkt") (lib "net/http-easy/private/pool.rkt") (lib "net/http-easy/private/response.rkt"))) (name . "http-easy-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/http-easy-lib.zip") (tags . ("client" "http" "https"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "ca98f4f19c6271b674ec18a358435047c6a3f598") (dependencies . (("syntax-classes-lib") ("base") ("sandbox-lib") ("chk-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Helpers for immutably updating structs.") (modules . ((lib "struct-set/scribblings/struct-set.scrbl") (lib "struct-set/main.rkt"))) (name . "struct-set") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/struct-set.zip") (tags . ("struct"))) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "8196842ea88c9f37cff23c1d08fd9c9db192e47a") (dependencies . (("base" #:version "6.3"))) (description . "implementation (no documentation) for “threading”") (modules . ((lib "threading/main.rkt"))) (name . "threading-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "michael.ballantyne@gmail.com") (checksum . "7ea923978fe8eb8687c85b3be87bbb029bd69690") (dependencies . (("base" #:version "8.2.0.7") ("rackunit-lib") ("racket-doc") ("scribble-lib") ("drracket"))) (description . "Utilities for defining embedded macro expanders") (modules . ((lib "ee-lib/test/suspend/suspend-test.rkt") (lib "ee-lib/test/js.rkt") (lib "ee-lib/main.rkt") (lib "ee-lib/define.rkt") (lib "ee-lib/private/lift-trampoline.rkt") (lib "ee-lib/syntax-category.rkt") (lib "ee-lib/private/flip-intro-scope.rkt") (lib "ee-lib/test/splicing.rkt") (lib "ee-lib/private/datum-map.rkt") (lib "ee-lib/persistent-id-table.rkt") (lib "ee-lib/test/same-binding.rkt") (lib "ee-lib/private/binding.rkt") (lib "ee-lib/scribblings/ee-lib.scrbl") (lib "ee-lib/test/jstest.rkt") (lib "ee-lib/test/phone-numbers-ee-lib.rkt") (lib "ee-lib/test/phone-numbers-basic.rkt") (lib "ee-lib/private/lift-disappeareds.rkt") (lib "ee-lib/private/syntax-serializer.rkt") (lib "ee-lib/errors.rkt") (lib "ee-lib/test/suspend/suspend.rkt") (lib "ee-lib/private/syntax-datum.rkt"))) (name . "ee-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/ee-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "cce@racket-lang.org") (checksum . "faeba6d27cce191dbd813213abae389118a10d05") (dependencies . (("base") ("compatibility-lib") ("macro-debugger") ("macro-debugger-text-lib") ("pconvert-lib") ("sandbox-lib") ("scribble-lib") ("srfi-lib") ("srfi-lite-lib") ("compatibility-doc") ("data-doc") ("racket-doc") ("scribble-doc") ("racket-index") ("rackunit-gui") ("rackunit-lib"))) (description . "Mischief: A Racketeer's Toolkit") (modules . ((lib "mischief/lang/config.rkt") (lib "mischief/shorthand.rkt") (lib "mischief/scribblings/fold.scrbl") (lib "no-debug/low-level.rkt") (lib "mischief/maybe.rkt") (lib "no-debug/racket/lang/reader.rkt") (lib "mischief/values.rkt") (lib "mischief/scribblings/typesetting.scrbl") (lib "mischief/props/lang/reader.rkt") (lib "mischief/scribblings/id-table.scrbl") (lib "mischief/scribblings/higher-order.scrbl") (lib "mischief/quotation.rkt") (lib "mischief/error.rkt") (lib "mischief/scribblings/datatypes.scrbl") (lib "mischief/struct.rkt") (lib "mischief/memoize.rkt") (lib "mischief/phrase.rkt") (lib "mischief/scribblings/scope.scrbl") (lib "mischief/discrim.rkt") (lib "mischief/scribblings/transform.scrbl") (lib "mischief/function.rkt") (lib "mischief/scribblings/examples.scrbl") (lib "debug/racket/base.rkt") (lib "mischief/dye-pack.rkt") (lib "mischief/parse.rkt") (lib "mischief/scribblings/modular.scrbl") (lib "mischief/list.rkt") (lib "mischief/main.rkt") (lib "mischief/json.rkt") (lib "no-debug/syntax.rkt") (lib "mischief/stylish/expression.rkt") (lib "debug/low-level.rkt") (lib "mischief/stylish/stylish.rkt") (lib "no-debug/main.rkt") (lib "mischief/lang/runtime.rkt") (lib "mischief/web.rkt") (lib "mischief/scribblings/debugging.scrbl") (lib "mischief/keyword.rkt") (lib "mischief/stylish/print.rkt") (lib "mischief/sort.rkt") (lib "mischief/for.rkt") (lib "mischief/stream.rkt") (lib "mischief/contract.rkt") (lib "mischief/define.rkt") (lib "mischief/scribblings/web.scrbl") (lib "mischief/scribblings/for.scrbl") (lib "mischief/scribblings/contract.scrbl") (lib "debug/provide.rkt") (lib "mischief/explode.rkt") (lib "mischief/stylish/format.rkt") (lib "mischief/scribblings/metaprogramming-moderate.scrbl") (lib "mischief/scope.rkt") (lib "mischief/examples.rkt") (lib "mischief/scribblings/mischief.scrbl") (lib "mischief/dict.rkt") (lib "mischief/kernel-syntax.rkt") (lib "no-debug/mischief.rkt") (lib "mischief/symbol.rkt") (lib "debug/syntax.rkt") (lib "mischief/require.rkt") (lib "no-debug/racket/base/lang/reader.rkt") (lib "mischief/scribblings/metaprogramming-complex.scrbl") (lib "mischief/stylish.rkt") (lib "mischief/scribblings/bindings.scrbl") (lib "mischief/scribblings/parse.scrbl") (lib "debug/racket/lang/reader.rkt") (lib "mischief/visitor.rkt") (lib "mischief/match.rkt") (lib "mischief/scribblings/visitor.scrbl") (lib "mischief/stylish/print-style.rkt") (lib "mischief/scribblings/no-debug.scrbl") (lib "mischief/id-table.rkt") (lib "mischief/lang/reader.rkt") (lib "mischief/scribblings/printing.scrbl") (lib "mischief/transform.rkt") (lib "mischief/preserve-expensive-metadata.rkt") (lib "mischief/scribblings/metaprogramming.scrbl") (lib "mischief/scribblings/stylish.scrbl") (lib "debug/racket.rkt") (lib "mischief/stepper.rkt") (lib "mischief/private/reify-value.rkt") (lib "mischief/scribblings/kernel-syntax.scrbl") (lib "debug/main.rkt") (lib "no-debug/racket.rkt") (lib "mischief/boolean.rkt") (lib "debug/mischief.rkt") (lib "mischief/fold.rkt") (lib "debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/debug.scrbl") (lib "mischief/scribblings/memoize.scrbl") (lib "no-debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/function.scrbl") (lib "mischief/scribblings/dye-pack.scrbl") (lib "debug/racket/base/lang/reader.rkt") (lib "mischief/private/render-expression.rkt") (lib "mischief/module.rkt") (lib "mischief/scribblings/metaprogramming-simple.scrbl") (lib "mischief/string.rkt") (lib "mischief/stylish/expr-style.rkt") (lib "mischief/place.rkt") (lib "mischief/stylish/signatures.rkt") (lib "mischief/tests/stylish.rkt") (lib "no-debug/racket/base.rkt"))) (name . "mischief") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mischief.zip") (tags . ("data" "debug" "dev" "documentation" "language" "syntax"))) pkg: catalog response: #hash((author . "emina@cs.washington.edu") (checksum . "971e4455fd63a8a684735511a7adfc8970122794") (dependencies . (("custom-load") ("sandbox-lib") ("scribble-lib") ("racket" #:version "8.1") ("r6rs-lib") ("rfc6455") ("net-lib") ("web-server-lib") ("rackunit-lib") ("slideshow-lib") ("gui-lib") ("base") ("rackunit-doc") ("draw-lib") ("errortrace-lib") ("pict-lib") ("pict-doc") ("scribble-lib") ("racket-doc") ("gui-doc") ("errortrace-doc"))) (description . "The Rosette Language") (modules . ((lib "test/profile/benchmarks/exn.rkt") (lib "sdsl/bv/lang/log.rkt") (lib "test/profile/benchmarks/update-at.rkt") (lib "rosette/lib/trace/compile.rkt") (lib "rosette/base/core/function.rkt") (lib "rosette/base/core/distinct.rkt") (lib "test/trace/code/lib.rkt") (lib "test/trace/stress/tail.rkt") (lib "rosette/guide/scribble/util/lifted.rkt") (lib "test/base/solver.rkt") (lib "rosette/guide/scribble/welcome/welcome.scrbl") (lib "sdsl/synthcl/lang/queries.rkt") (lib "test/query/synthax.rkt") (lib "rosette/lib/util/streaming-server.rkt") (lib "rosette/private/install.rkt") (lib "rosette/lib/profile/tool.rkt") (lib "test/trace/code/ex-1-2.rkt") (lib "sdsl/synthcl/examples/toy/verify/kernel.rkt") (lib "rosette/solver/smt/boolector.rkt") (lib "test/trace/test.rkt") (lib "rosette/main.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/kernel.rkt") (lib "sdsl/fsm/demo.rkt") (lib "sdsl/ifc/basic.rkt") (lib "sdsl/synthcl/model/program.rkt") (lib "rosette/lib/destruct.rkt") (lib "rosette/guide/scribble/unsafe/unsafe.scrbl") (lib "sdsl/synthcl/model/buffer.rkt") (lib "rosette/base/core/reporter.rkt") (lib "rosette/solver/smt/cvc4.rkt") (lib "sdsl/bv/lang/program.rkt") (lib "test/config.rkt") (lib "sdsl/bv/test/easy.rkt") (lib "rosette/guide/scribble/libs/racket-libs.scrbl") (lib "rosette/lib/profile/reporter.rkt") (lib "test/base/bvseq.rkt") (lib "test/base/merge.rkt") (lib "rosette/base/core/type.rkt") (lib "rosette/base/core/numerics.rkt") (lib "test/base/term.rkt") (lib "test/base/equality.rkt") (lib "rosette/lib/match.rkt") (lib "sdsl/bv/lang/bvops.rkt") (lib "sdsl/synthcl/test/typecheck.rkt") (lib "test/profile/test.rkt") (lib "test/base/exprs.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_2.rkt") (lib "sdsl/bv/test/all-tests.rkt") (lib "sdsl/synthcl/lang/builtins.rkt") (lib "rosette/lib/profile/renderer/heap.rkt") (lib "test/base/optimize-order.rkt") (lib "test/query/optimize.rkt") (lib "sdsl/websynth/test/imdb250_16.rkt") (lib "rosette/base/core/bvlib.rkt") (lib "rosette/guide/scribble/performance/performance.scrbl") (lib "test/query/solve.rkt") (lib "sdsl/synthcl/examples/sobelFilter/host.rkt") (lib "sdsl/websynth/test/all-tests.rkt") (lib "sdsl/websynth/test/alanon_arkansas_8.rkt") (lib "sdsl/synthcl/model/queue.rkt") (lib "rosette/base/form/define.rkt") (lib "rosette/base/core/procedure.rkt") (lib "rosette/lib/trace/report/fix-path.rkt") (lib "sdsl/synthcl/model/flags.rkt") (lib "sdsl/fsm/viz.rkt") (lib "test/base/vector.rkt") (lib "rosette/guide/scribble/rosette-guide.scrbl") (lib "rosette/lib/profile/renderer/report/solver.rkt") (lib "test/base/uninterpreted.rkt") (lib "rosette/guide/scribble/datatypes/procedures.scrbl") (lib "rosette/guide/scribble/reflection/state-reflection.scrbl") (lib "rosette/base/struct/generics.rkt") (lib "rosette/base/core/bitvector.rkt") (lib "rosette/lib/util/syntax-properties.rkt") (lib "sdsl/websynth/benchmarks/itunes100_4.rkt") (lib "test/query/solve+.rkt") (lib "test/base/bvlib.rkt") (lib "sdsl/synthcl/test/snippets.rkt") (lib "sdsl/synthcl/model/pointers.rkt") (lib "test/base/real.rkt") (lib "test/trace/code/non-tail.rkt") (lib "test/base/forall.rkt") (lib "sdsl/synthcl/model/memory.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/kernel.rkt") (lib "sdsl/websynth/test/itunes100_2.rkt") (lib "rosette/guide/scribble/datatypes/defined-datatypes.scrbl") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host.rkt") (lib "rosette/guide/scribble/datatypes/bools+ints+reals.scrbl") (lib "sdsl/websynth/test/alanon_arkansas_16.rkt") (lib "rosette/lib/trace/mock-server.rkt") (lib "rosette/solver/smt/env.rkt") (lib "sdsl/fsm/automaton.rkt") (lib "rosette/solver/smt/server.rkt") (lib "rosette/lib/angelic.rkt") (lib "rosette/query/finitize.rkt") (lib "rosette/base/core/result.rkt") (lib "rosette/guide/scribble/datatypes/pairs.scrbl") (lib "rosette/solver/smt/bitwuzla.rkt") (lib "test/base/quantified.rkt") (lib "sdsl/websynth/benchmarks/itunes100_2.rkt") (lib "rosette/base/core/real.rkt") (lib "rosette/guide/scribble/error-tracing/test.rkt") (lib "sdsl/websynth/test/itunes100_16.rkt") (lib "sdsl/synthcl/lang/typecheck.rkt") (lib "rosette/lib/roseunit.rkt") (lib "sdsl/ifc/call.rkt") (lib "sdsl/bv/test/util.rkt") (lib "sdsl/bv/lang/core.rkt") (lib "rosette/solver/smt/dec.rkt") (lib "sdsl/synthcl/examples/toy/synth/kernel.rkt") (lib "sdsl/websynth/benchmarks/imdb250_4.rkt") (lib "rosette/lib/util/ws-server.rkt") (lib "rosette/base/core/bool.rkt") (lib "test/base/generics.rkt") (lib "sdsl/synthcl/test/work.rkt") (lib "sdsl/bv/examples/reference.rkt") (lib "rosette/guide/scribble/libs/bvmul2.rkt") (lib "test/base/bool.rkt") (lib "rosette/guide/scribble/performance/xform.rkt") (lib "test/query/synthesize.rkt") (lib "sdsl/ifc/value.rkt") (lib "rosette/base/core/store.rkt") (lib "rosette/solver/smt/stp.rkt") (lib "rosette/base/core/reflect.rkt") (lib "rosette/base/adt/bvseq.rkt") (lib "test/all-rosette-tests.rkt") (lib "test/base/store.rkt") (lib "rosette/base/core/equality.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/kernel.rkt") (lib "sdsl/websynth/websynth.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/host.rkt") (lib "rosette/lib/profile/renderer/noop.rkt") (lib "test/trace/code/tail.rkt") (lib "sdsl/synthcl/test/grammar.rkt") (lib "test/base/list.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/test.rkt") (lib "sdsl/ifc/verify-EENI-demo.rkt") (lib "sdsl/bv/examples/medium.rkt") (lib "sdsl/ifc/verify.rkt") (lib "test/base/reflect.rkt") (lib "rosette/base/form/app.rkt") (lib "rosette/solver/solution.rkt") (lib "rosette/base/adt/generic.rkt") (lib "rosette/lib/value-browser.rkt") (lib "rosette/lang/reader.rkt") (lib "test/trace/code/solver-limitation.rkt") (lib "sdsl/synthcl/test/all-tests.rkt") (lib "rosette/guide/scribble/libs/calc-lang.rkt") (lib "rosette/guide/scribble/forms/forms.scrbl") (lib "test/base/type.rkt") (lib "rosette/lib/profile/feature.rkt") (lib "rosette/solver/smt/cvc5.rkt") (lib "test/trace/code/error.rkt") (lib "test/trace/code/forall.rkt") (lib "sdsl/synthcl/model/kernel.rkt") (lib "rosette/guide/scribble/forms/racket-forms.scrbl") (lib "rosette/safe.rkt") (lib "rosette/lib/profile/renderer/trace.rkt") (lib "rosette/lib/profile.rkt") (lib "test/trace/code/no-error.rkt") (lib "sdsl/websynth/test/imdb250_4.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_4.rkt") (lib "rosette/guide/scribble/refs.scrbl") (lib "sdsl/synthcl/lang/sugar.rkt") (lib "sdsl/synthcl/lang/errors.rkt") (lib "sdsl/websynth/benchmarks/imdb250_8.rkt") (lib "rosette/base/core/lift.rkt") (lib "sdsl/bv/lang/form.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/host.rkt") (lib "sdsl/websynth/benchmarks/itunes100_8.rkt") (lib "test/trace/code/assertion.rkt") (lib "rosette/query/eval.rkt") (lib "rosette/guide/scribble/util/demo.rkt") (lib "rosette/base/adt/vector.rkt") (lib "rosette/guide/scribble/datatypes/uninterpreted.scrbl") (lib "rosette/lib/profile/renderer/syntax.rkt") (lib "rosette/guide/scribble/reflection/symbolic-reflection.scrbl") (lib "sdsl/synthcl/model/objects.rkt") (lib "rosette/base/form/module.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host-buggy.rkt") (lib "test/trace/code/macro.rkt") (lib "rosette/guide/scribble/error-tracing/error-tracing.scrbl") (lib "test/base/distinct.rkt") (lib "sdsl/synthcl/model/runtime.rkt") (lib "rosette/guide/scribble/util/clean.rkt") (lib "sdsl/synthcl/model/type.rkt") (lib "sdsl/ifc/instruction.rkt") (lib "sdsl/websynth/websynthlib.rkt") (lib "sdsl/bv/examples/hard.rkt") (lib "rosette/query/query.rkt") (lib "test/query/grammar.rkt") (lib "rosette/lib/util/module.rkt") (lib "sdsl/synthcl/model/context.rkt") (lib "test/base/bitvector.rkt") (lib "sdsl/websynth/benchmarks/imdb250_2.rkt") (lib "sdsl/synthcl/test/operators.rkt") (lib "rosette/base/struct/struct.rkt") (lib "rosette/guide/scribble/libs/utility-libs.scrbl") (lib "rosette/solver/smt/enc.rkt") (lib "sdsl/synthcl/model/operators.rkt") (lib "test/base/eval-guarded.rkt") (lib "test/trace/code/ex-3.rkt") (lib "test/profile/renderer.rkt") (lib "sdsl/websynth/test/imdb250_2.rkt") (lib "rosette/lib/profile/graph.rkt") (lib "sdsl/synthcl/lang/main.rkt") (lib "test/trace/code/list.rkt") (lib "test/trace/code/ex-2.rkt") (lib "rosette/lib/util/syntax.rkt") (lib "rosette/guide/scribble/datatypes/equality.scrbl") (lib "sdsl/websynth/test/itunes100_4.rkt") (lib "rosette/solver/solver.rkt") (lib "rosette/guide/scribble/datatypes/bitvectors.scrbl") (lib "rosette/guide/scribble/datatypes/vectors.scrbl") (lib "sdsl/ifc/machine.rkt") (lib "rosette/solver/smt/base-solver.rkt") (lib "rosette/guide/scribble/error-tracing/sum.rkt") (lib "test/trace/code/ex-1-3.rkt") (lib "rosette/solver/smt/z3.rkt") (lib "sdsl/websynth/dom.rkt") (lib "test/all-sdsl-tests.rkt") (lib "sdsl/synthcl/test/memory.rkt") (lib "rosette/base/core/union.rkt") (lib "sdsl/synthcl/test/reals.rkt") (lib "rosette/base/form/control.rkt") (lib "test/base/vc.rkt") (lib "sdsl/synthcl/model/errors.rkt") (lib "sdsl/fsm/fsm.rkt") (lib "test/base/common.rkt") (lib "rosette/lib/profile/compile.rkt") (lib "sdsl/bv/test/medium.rkt") (lib "rosette/lib/profile/renderer/report/generic.rkt") (lib "sdsl/ifc/test.rkt") (lib "rosette/query/form.rkt") (lib "sdsl/synthcl/lang/operators.rkt") (lib "rosette/base/core/polymorphic.rkt") (lib "test/base/finitize.rkt") (lib "sdsl/synthcl/lang/types.rkt") (lib "sdsl/websynth/test/imdb250_8.rkt") (lib "test/query/verify.rkt") (lib "rosette/lib/trace/raco.rkt") (lib "test/trace/stress/non-tail.rkt") (lib "rosette/base/core/safe.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_16.rkt") (lib "sdsl/websynth/test/itunes100_8.rkt") (lib "test/query/synthax-external.rkt") (lib "rosette/guide/scribble/error-tracing/select.rkt") (lib "test/trace/code/core-form.rkt") (lib "test/trace/code/infeasible-solver.rkt") (lib "rosette/lib/trace/client-launcher.rkt") (lib "rosette/lib/profile/renderer/report.rkt") (lib "sdsl/websynth/benchmarks/imdb250_16.rkt") (lib "rosette/guide/scribble/essentials/essentials.scrbl") (lib "rosette/lib/trace/sample-data.rkt") (lib "sdsl/synthcl/test/more-snippets.rkt") (lib "rosette/solver/smt/yices.rkt") (lib "test/trace/code/if.rkt") (lib "sdsl/ifc/indistinguishable.rkt") (lib "rosette/lib/profile/renderer/report/callgraph.rkt") (lib "sdsl/bv/bv.rkt") (lib "test/trace/perf-runner.rkt") (lib "rosette/guide/scribble/libs/libraries.scrbl") (lib "rosette/lib/profile/data.rkt") (lib "sdsl/synthcl/examples/sobelFilter/test.rkt") (lib "test/profile/benchmarks/list.rkt") (lib "sdsl/fsm/query.rkt") (lib "test/trace/code/test-track-form.rkt") (lib "sdsl/synthcl/examples/toy/synth/host.rkt") (lib "test/lib/destruct.rkt") (lib "test/trace/code/toplevel.rkt") (lib "test/base/decode.rkt") (lib "rosette/solver/smt/smtlib2.rkt") (lib "rosette/base/core/exn.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/kernel.rkt") (lib "rosette/guide/scribble/datatypes/boxes.scrbl") (lib "test/trace/code/test-stack.rkt") (lib "rosette/lib/trace/tool.rkt") (lib "sdsl/synthcl/lang/env.rkt") (lib "sdsl/websynth/test/alanon_arkansas_4.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/test.rkt") (lib "rosette/base/adt/box.rkt") (lib "rosette/base/adt/list.rkt") (lib "rosette/guide/scribble/forms/rosette-forms.scrbl") (lib "test/base/push-pop.rkt") (lib "rosette/base/core/merge.rkt") (lib "sdsl/synthcl/examples/toy/verify/host.rkt") (lib "test/trace/code/macro-define.rkt") (lib "test/trace/code/infeasible.rkt") (lib "rosette/base/core/eval.rkt") (lib "sdsl/synthcl/model/work.rkt") (lib "rosette/base/struct/struct-type.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/test.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/host.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_8.rkt") (lib "sdsl/synthcl/examples/sobelFilter/kernel.rkt") (lib "rosette/guide/scribble/datatypes/solvers+solutions.scrbl") (lib "sdsl/bv/lang/fragment.rkt") (lib "rosette/base/adt/seq.rkt") (lib "rosette/query/core.rkt") (lib "rosette/guide/scribble/essentials/bvmid.rkt") (lib "rosette/guide/scribble/datatypes/builtin-datatypes.scrbl") (lib "sdsl/synthcl/examples/matrixMultiply/synth/test.rkt") (lib "sdsl/ifc/jump.rkt") (lib "sdsl/bv/examples/easy.rkt") (lib "test/trace/code/ex-1-1.rkt") (lib "rosette/lib/profile/raco.rkt") (lib "rosette/guide/scribble/reflection/value-reflection.scrbl") (lib "rosette/lib/profile/renderer/report/terms.rkt") (lib "rosette/guide/scribble/datatypes/test.rkt") (lib "sdsl/synthcl/examples/sobelFilter/reference.rkt") (lib "sdsl/synthcl/lang/forms.rkt") (lib "rosette/lib/synthax.rkt") (lib "rosette/lib/profile/renderer/renderer.rkt") (lib "sdsl/synthcl/model/reals.rkt") (lib "sdsl/synthcl/lang/util.rkt") (lib "rosette/guide/scribble/libs/rosette-libs.scrbl") (lib "sdsl/fsm/lib.rkt") (lib "rosette/base/core/term.rkt") (lib "sdsl/websynth/benchmarks/itunes100_16.rkt") (lib "rosette/safe/lang/reader.rkt") (lib "rosette/base/base.rkt") (lib "rosette/lib/profile/record.rkt") (lib "rosette/base/core/forall.rkt") (lib "sdsl/websynth/test/alanon_arkansas_2.rkt") (lib "rosette/solver/smt/cmd.rkt") (lib "test/trace/code/list-2.rkt"))) (name . "rosette") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rosette.zip") (tags . ())) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "2c48ad31f4244a7feee69dd03365fa44abee438b") (dependencies . (("base") ("syntax-classes-lib") ("syntax-classes-doc"))) (description . "Additional useful syntax classes for use with syntax/parse") (modules . ()) (name . "syntax-classes") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "60f2a3a88bd61e25505ee57b28f1e93bbfeef49c") (dependencies . (("threading-doc") ("threading-lib"))) (description . "") (modules . ()) (name . "threading") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading.zip") (tags . ())) Resolved "box-extra-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "6e29c14d86a929c8eeaf3e5a10d729d227da7a11") (dependencies . (("base"))) (description . "Extra utilities for working with boxes. (implementation)") (modules . ((lib "box-extra/main.rkt") (lib "box-extra/unsafe.rkt"))) (name . "box-extra-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/box-extra-lib.zip") (tags . ("boxes"))) 01: Resolved "ppict" via file:///home/root//catalogs/built/catalog 01: Resolved "graph-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "unstable-latent-contract-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "unstable-parameter-group-lib" via file:///home/root//catalogs/built/catalog Resolved "racket-poppler" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "8782693b614eb5a94682c1ce2ad65d9401e8b78b") (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"))) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "d0b65745a6ed63faaedb0d59ec55e83c257cffc5") (dependencies . (("base" #:version "6.0") ("gen-queue-lib") ("data-lib") ("math-lib"))) (description . "main graph package") (modules . ((lib "graph/graph-fns-spantree.rkt") (lib "graph/graph-property.rkt") (lib "graph/graph-fns-minspantree.rkt") (lib "graph/graph-fns-graphviz.rkt") (lib "graph/graph-fns-coloring.rkt") (lib "graph/graph-fns-maxflow.rkt") (lib "graph/hash-utils.rkt") (lib "graph/graph-matrix.rkt") (lib "graph/graph-fns-basic.rkt") (lib "graph/graph-fns-allpairs-shortestpaths.rkt") (lib "graph/main.rkt") (lib "graph/graph-weighted.rkt") (lib "graph/utils.rkt") (lib "graph/adjlist-utils.rkt") (lib "graph/gen-graph.rkt") (lib "graph/graph-unweighted.rkt") (lib "graph/graph-fns-singlesource-shortestpaths.rkt"))) (name . "graph-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/graph-lib.zip") (tags . ("data" "graph"))) pkg: catalog response: #hash((author . "mflatt@racket-lang.org ntoronto@racket-lang.org") (checksum . "9b30593d39cf3825fb5148afc042aad215382bb3") (dependencies . (("base") ("scribble-lib") ("images-lib" #:version "1.2"))) (description . "Experimental libraries for contracts at definitions") (modules . ((lib "unstable/latent-contract.rkt") (lib "unstable/latent-contract/defthing.rkt") (lib "unstable/latent-contract/serialize-syntax.rkt"))) (name . "unstable-latent-contract-lib") (ring . 0) (source . "file:///home/root/catalogs/built/pkgs/unstable-latent-contract-lib.zip") (tags . ("unstable"))) pkg: catalog response: #hash((author . "mflatt@racket-lang.org ntoronto@racket-lang.org") (checksum . "6ddfa57b9497ac65a40a6fa3973ed1e35bc9afbf") (dependencies . (("base") ("images-lib" #:version "1.2"))) (description . "Experimental libraries for parameter groups") (modules . ((lib "unstable/parameter-group.rkt"))) (name . "unstable-parameter-group-lib") (ring . 0) (source . "file:///home/root/catalogs/built/pkgs/unstable-parameter-group-lib.zip") (tags . ("unstable"))) pkg: catalog response: #hash((author . "jensaxel@soegaard.net") (checksum . "ca7b96efd3c62c3bc93b0925900ec620212e6919") (dependencies . (("draw-lib") ("slideshow-lib") ("web-server-lib") ("base") ("pict") ("poppler-x86-64-macosx" #:platform "x86_64-macosx") ("poppler-i386-macosx" #:platform "i386-macosx") ("poppler-win32-x86-64" #:platform "win32\\x86_64") ("poppler-win32-i386" #:platform "win32\\i386") ("at-exp-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("draw-doc") ("pict-doc"))) (description . "Read, search and render pdfs. Use LaTeX in scribble and slidehow.") (modules . ((lib "racket-poppler/ffi.rkt") (lib "racket-poppler/examples/test-render-tex.rkt") (lib "racket-poppler/libs.rkt") (lib "racket-poppler/examples/test-pdf-functions.rkt") (lib "racket-poppler/render-tex.rkt") (lib "racket-poppler/main.rkt"))) (name . "racket-poppler") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/racket-poppler.zip") (tags . ("pdf" "poppler" "scribble" "slideshow"))) Resolved "gen-queue-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "6522fea89270ef980c6f1fa88aa594f654a8e50b") (dependencies . (("base" #:version "6.0") ("data-lib"))) (description . "Generic interface for some queues. Used by graph-lib") (modules . ((lib "data/gen-queue/gen-queue.rkt") (lib "data/gen-queue/priority.rkt") (lib "data/gen-queue.rkt") (lib "data/gen-queue/fifo.rkt"))) (name . "gen-queue-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gen-queue-lib.zip") (tags . ("data" "graph" "queue"))) Resolved "resource-pool-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "53d9eb97f2a2ec23acba56c028ddc07169b9c3fd") (dependencies . (("base"))) (description . "A generic blocking resource pool. (implementation)") (modules . ((lib "data/pool.rkt"))) (name . "resource-pool-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/resource-pool-lib.zip") (tags . ("data-structures" "pool" "web"))) Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "bee112e3c0598b858b69369fbc77eeffd87c0ce2") (dependencies . (("base" #:version "7.8.0.9"))) (description . "implementation (no documentation) for “syntax-classes”") (modules . ((lib "syntax/parse/class/struct-id.rkt") (lib "syntax/parse/class/local-value.rkt") (lib "syntax/parse/class/paren-shape.rkt"))) (name . "syntax-classes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-lib.zip") (tags . ("syntax"))) 00: Resolved "custom-load" via file:///home/root//catalogs/built/catalog Resolved "rfc6455" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "cf20b4436b21aaa7688cdfdc89bf38bb03c68bd5") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "A load handler that avoids stale zo files.") (modules . ((lib "custom-load/top.rkt") (lib "custom-load/test/a.rkt") (lib "custom-load/test/c.rkt") (lib "custom-load/main.rkt") (lib "custom-load/test/b.rkt") (lib "custom-load/private/loader.rkt") (lib "custom-load/custom-load.scrbl"))) (name . "custom-load") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/custom-load.zip") (tags . ())) pkg: catalog response: #hash((author . "tonygarnockjones@gmail.com") (checksum . "7d8e5851b4b4e021d6310f867a0b1f1b639a5bb2") (dependencies . (("base") ("net-lib") ("rackunit-lib") ("web-server-lib") ("scribble-lib") ("net-doc") ("racket-doc") ("web-server-doc"))) (description . "RFC 6455 WebSockets support for Racket.") (modules . ((lib "net/rfc6455/hybi00/dispatcher.rkt") (lib "net/rfc6455/client.rkt") (lib "net/rfc6455/examples/test-server.rkt") (lib "net/rfc6455/rfc6455/frame.rkt") (lib "net/rfc6455/rfc6455/handshake.rkt") (lib "net/rfc6455/rfc6455/conn.rkt") (lib "net/rfc6455/examples/time-server.rkt") (lib "net/rfc6455/hybi00/conn.rkt") (lib "net/rfc6455/conn-api.rkt") (lib "net/rfc6455/hybi00/handshake.rkt") (lib "net/rfc6455/examples/time-client-with-sync.rkt") (lib "net/rfc6455/scribblings/rfc6455.scrbl") (lib "net/rfc6455/hybi00/client.rkt") (lib "net/rfc6455/examples/time-client-with-threads.rkt") (lib "net/rfc6455/http.rkt") (lib "net/rfc6455/service-mapper.rkt") (lib "net/rfc6455/rfc6455/dispatcher.rkt") (lib "net/rfc6455/examples/test-service-mapper.rkt") (lib "net/rfc6455/timeout.rkt") (lib "net/rfc6455/examples/client.rkt") (lib "net/rfc6455/server.rkt") (lib "net/rfc6455/examples/echo-server.rkt") (lib "net/rfc6455/url.rkt") (lib "net/rfc6455/examples/cat.rkt") (lib "net/rfc6455/dispatcher.rkt") (lib "net/rfc6455.rkt") (lib "net/rfc6455/rfc6455/client.rkt") (lib "net/rfc6455/private/connection-manager.rkt"))) (name . "rfc6455") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rfc6455.zip") (tags . ("http" "net" "web"))) Resolved "syntax-classes-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "2994301136a99160064d4bb19c8e5937fc989b53") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("syntax-classes-lib" #:version "1.3"))) (description . "documentation (no implementation) for “syntax-classes”") (modules . ((lib "scribblings/syntax-classes.scrbl"))) (name . "syntax-classes-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-doc.zip") (tags . ("syntax"))) Resolved "threading-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "183c5ff1a6078c2a6bead7e45bf8c0df68fc1cf5") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("threading-lib"))) (description . "documentation (no implementation) for “threading”") (modules . ((lib "scribblings/threading.scrbl"))) (name . "threading-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-doc.zip") (tags . ())) pkg: creating link to # pkg: updating db with "threading-doc" to '#s(pkg-info (catalog "threading-doc") "183c5ff1a6078c2a6bead7e45bf8c0df68fc1cf5" #t) pkg: creating single-collection link to # pkg: updating db with "automata-doc" to '#s((sc-pkg-info pkg-info 3) (catalog "automata-doc") "de232561821a27a028484c422d8ed9f280df13a0" #t "automata") pkg: creating link to # pkg: updating db with "chk-lib" to '#s(pkg-info (catalog "chk-lib") "cd1f7a915ff032365efda503021b3b32f21ba676" #t) pkg: creating single-collection link to # pkg: updating db with "lsl" to '#s((sc-pkg-info pkg-info 3) (catalog "lsl") "849ca48b229aedc5f58781d1c13880c087b8a1f5" #f "lsl") pkg: creating single-collection link to # pkg: updating db with "lsl-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "lsl-lib") "a8f3adb2539b7dda3f994c014b63360b77716269" #t "lsl") pkg: creating single-collection link to # pkg: updating db with "gui-easy-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "gui-easy-lib") "2a9949f60b9bdb7b10974921a58db4ffe1de00a7" #t "racket") pkg: creating single-collection link to # pkg: updating db with "box-extra-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "box-extra-lib") "6e29c14d86a929c8eeaf3e5a10d729d227da7a11" #t "box-extra") pkg: creating link to # pkg: updating db with "metapict" to '#s(pkg-info (catalog "metapict") "0cd69c0dd6bd11d89c5e84f5511e94bb12fd4efe" #t) pkg: creating single-collection link to # pkg: updating db with "ppict" to '#s((sc-pkg-info pkg-info 3) (catalog "ppict") "8782693b614eb5a94682c1ce2ad65d9401e8b78b" #t "ppict") pkg: creating link to # pkg: updating db with "graph-lib" to '#s(pkg-info (catalog "graph-lib") "d0b65745a6ed63faaedb0d59ec55e83c257cffc5" #t) pkg: creating link to # pkg: updating db with "gen-queue-lib" to '#s(pkg-info (catalog "gen-queue-lib") "6522fea89270ef980c6f1fa88aa594f654a8e50b" #t) pkg: creating link to # pkg: updating db with "unstable-latent-contract-lib" to '#s(pkg-info (catalog "unstable-latent-contract-lib") "9b30593d39cf3825fb5148afc042aad215382bb3" #t) pkg: creating link to # pkg: updating db with "unstable-parameter-group-lib" to '#s(pkg-info (catalog "unstable-parameter-group-lib") "6ddfa57b9497ac65a40a6fa3973ed1e35bc9afbf" #t) pkg: creating link to # pkg: updating db with "racket-poppler" to '#s(pkg-info (catalog "racket-poppler") "ca7b96efd3c62c3bc93b0925900ec620212e6919" #t) pkg: creating single-collection link to # pkg: updating db with "automata-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "automata-lib") "02b063d80a81191ed99141f500559bb2812a8e97" #t "automata") pkg: creating single-collection link to # pkg: updating db with "http-easy-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "http-easy-lib") "b1deedb7b393598d5634940f89d848c7f3050b2c" #t "net") pkg: creating single-collection link to # pkg: updating db with "resource-pool-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "resource-pool-lib") "53d9eb97f2a2ec23acba56c028ddc07169b9c3fd" #t "data") pkg: creating single-collection link to # pkg: updating db with "struct-set" to '#s((sc-pkg-info pkg-info 3) (catalog "struct-set") "ca98f4f19c6271b674ec18a358435047c6a3f598" #t "struct-set") pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "bee112e3c0598b858b69369fbc77eeffd87c0ce2" #t) pkg: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "8196842ea88c9f37cff23c1d08fd9c9db192e47a" #t) pkg: creating single-collection link to # pkg: updating db with "ee-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "ee-lib") "7ea923978fe8eb8687c85b3be87bbb029bd69690" #t "ee-lib") pkg: creating link to # pkg: updating db with "mischief" to '#s(pkg-info (catalog "mischief") "faeba6d27cce191dbd813213abae389118a10d05" #t) pkg: creating link to # pkg: updating db with "rosette" to '#s(pkg-info (catalog "rosette") "971e4455fd63a8a684735511a7adfc8970122794" #t) pkg: creating single-collection link to # pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "cf20b4436b21aaa7688cdfdc89bf38bb03c68bd5" #t "custom-load") pkg: creating link to # pkg: updating db with "rfc6455" to '#s(pkg-info (catalog "rfc6455") "7d8e5851b4b4e021d6310f867a0b1f1b639a5bb2" #t) pkg: creating link to # pkg: updating db with "syntax-classes" to '#s(pkg-info (catalog "syntax-classes") "2c48ad31f4244a7feee69dd03365fa44abee438b" #t) pkg: creating link to # pkg: updating db with "syntax-classes-doc" to '#s(pkg-info (catalog "syntax-classes-doc") "2994301136a99160064d4bb19c8e5937fc989b53" #t) pkg: creating link to # pkg: updating db with "threading" to '#s(pkg-info (catalog "threading") "60f2a3a88bd61e25505ee57b28f1e93bbfeef49c" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of lsl: lsl-lib automata-doc chk-lib dependencies of lsl-lib: gui-easy-lib metapict automata-lib http-easy-lib struct-set threading-lib ee-lib mischief rosette syntax-classes threading dependencies of gui-easy-lib: box-extra-lib dependencies of metapict: ppict graph-lib unstable-latent-contract-lib unstable-parameter-group-lib racket-poppler dependencies of graph-lib: gen-queue-lib dependencies of http-easy-lib: resource-pool-lib dependencies of struct-set: syntax-classes-lib dependencies of rosette: custom-load rfc6455 dependencies of syntax-classes: syntax-classes-doc dependencies of threading: threading-doc raco setup: version: 8.12 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.12 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.12/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.12/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.12/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 --- [12:11:33] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [12:11:33] raco setup: pre-installing: /rosette/rosette ********** Failed to install Z3 ********** Rosette installed successfully, but wasn't able to install the Z3 SMT solver. You'll need to manually install a Z3 binary at this location: /home/root/user/.local/share/racket/8.12/pkgs/rosette/bin/z3 or anywhere that is on your PATH. Alternatively, in your programs, you can construct a solver object manually: (current-solver (z3 #:path "/path/to/z3")) Note that Rosette ships with a specific release of Z3 (v4.8.8). Installing a different version of Z3 may change the performance of Rosette programs. The problem was: tcp-connect: host not found hostname: github.com port number: 443 system error: Temporary failure in name resolution; gai_err=-3 ********** raco setup: --- installing foreign libraries --- [12:11:33] raco setup: --- installing shared files --- [12:11:33] raco setup: --- compiling collections --- [12:11:33] raco setup: --- parallel build using 2 jobs --- [12:11:33] raco setup: 1 making: /automata-doc raco setup: 0 making: /automata-lib raco setup: 1 making: /automata-doc/scribblings raco setup: 0 making: /box-extra-lib raco setup: 0 making: /chk-lib/chk raco setup: 0 making: /custom-load (custom-load) raco setup: 0 making: /custom-load/private raco setup: 0 making: /ee-lib (ee-lib) raco setup: 1 making: /gen-queue-lib/data raco setup: 1 making: /gen-queue-lib/data/gen-queue raco setup: 1 making: /graph-lib/graph raco setup: 0 making: /ee-lib/private raco setup: 0 making: /ee-lib/scribblings raco setup: 0 making: /ee-lib/test raco setup: 0 making: /ee-lib/test/suspend raco setup: 0 making: /gui-easy-lib raco setup: 0 making: /gui-easy-lib/gui raco setup: 0 making: /gui-easy-lib/gui/easy raco setup: 1 making: /http-easy-lib raco setup: 1 making: /http-easy-lib/http-easy raco setup: 1 making: /http-easy-lib/http-easy/private raco setup: 1 making: /lsl (lsl) raco setup: 1 making: /lsl/scribblings raco setup: 0 making: /gui-easy-lib/gui/easy/private raco setup: 0 making: /gui-easy-lib/gui/easy/private/view raco setup: 0 making: /lsl-lib (lsl) raco setup: 0 making: /lsl-lib/private raco setup: 1 making: /lsl/tests raco setup: 0 making: /lsl-lib/private/contract raco setup: 0 making: /lsl-lib/private/library raco setup: 0 making: /lsl-lib/private/syntax raco setup: 0 making: /metapict/metapict raco setup: 0 making: /metapict/metapict/debug raco setup: 1 making: /mischief/debug raco setup: 0 making: /metapict/metapict/debug-foo raco setup: 0 making: /metapict/metapict/debug-foo/foo raco setup: 0 making: /metapict/metapict/extras raco setup: 0 making: /metapict/metapict/metapost-examples raco setup: 0 making: /metapict/metapict/scribblings raco setup: 0 making: /metapict/metapict/svg raco setup: 0 making: /metapict/metapict/tests raco setup: 1 making: /mischief/debug/mischief raco setup: 1 making: /mischief/debug/mischief/lang raco setup: 1 making: /mischief/debug/racket raco setup: 1 making: /mischief/debug/racket/base raco setup: 1 making: /mischief/debug/racket/base/lang raco setup: 1 making: /mischief/debug/racket/lang raco setup: 1 making: /mischief/mischief raco setup: 0 making: /metapict/metapict/texts raco setup: 0 making: /mischief/no-debug raco setup: 1 making: /mischief/mischief/lang raco setup: 0 making: /mischief/no-debug/mischief raco setup: 0 making: /mischief/no-debug/mischief/lang raco setup: 0 making: /mischief/no-debug/racket raco setup: 0 making: /mischief/no-debug/racket/base raco setup: 0 making: /mischief/no-debug/racket/base/lang raco setup: 0 making: /mischief/no-debug/racket/lang raco setup: 0 making: /ppict raco setup: 0 making: /ppict/private raco setup: 0 making: /racket-poppler/racket-poppler (racket-poppler) raco setup: 0 making: /racket-poppler/racket-poppler/examples raco setup: 0 making: /resource-pool-lib raco setup: 0 making: /rfc6455/net raco setup: 0 making: /rfc6455/net/rfc6455 raco setup: 0 making: /rfc6455/net/rfc6455/examples raco setup: 0 making: /rfc6455/net/rfc6455/hybi00 raco setup: 0 making: /rfc6455/net/rfc6455/private raco setup: 0 making: /rfc6455/net/rfc6455/rfc6455 raco setup: 0 making: /rfc6455/net/rfc6455/scribblings raco setup: 0 making: /rosette/rosette raco setup: 1 making: /mischief/mischief/private raco setup: 0 making: /rosette/rosette/base raco setup: 1 making: /mischief/mischief/props raco setup: 1 making: /mischief/mischief/props/lang raco setup: 1 making: /mischief/mischief/scribblings raco setup: 1 making: /mischief/mischief/stylish raco setup: 1 making: /mischief/mischief/tests raco setup: 1 making: /rosette/sdsl raco setup: 1 making: /rosette/test raco setup: 1 making: /struct-set raco setup: 1 making: /struct-set/scribblings raco setup: 1 making: /syntax-classes-doc/scribblings raco setup: 1 making: /syntax-classes-lib/syntax raco setup: 1 making: /syntax-classes-lib/syntax/parse raco setup: 1 making: /syntax-classes-lib/syntax/parse/class raco setup: 1 making: /threading-doc/scribblings raco setup: 1 making: /threading-lib/threading raco setup: 1 making: /unstable-latent-contract-lib/unstable raco setup: 1 making: /unstable-latent-contract-lib/unstable/latent-contract raco setup: 1 making: /unstable-parameter-group-lib/unstable raco setup: 0 making: /rosette/rosette/base/adt raco setup: 0 making: /rosette/rosette/base/core raco setup: 0 making: /rosette/rosette/base/form raco setup: 0 making: /rosette/rosette/base/struct raco setup: 0 making: /rosette/rosette/guide raco setup: 0 making: /rosette/rosette/guide/scribble raco setup: 0 making: /rosette/rosette/guide/scribble/datatypes raco setup: 0 making: /rosette/rosette/guide/scribble/error-tracing raco setup: 0 making: /rosette/rosette/guide/scribble/essentials raco setup: 0 making: /rosette/rosette/guide/scribble/forms raco setup: 0 making: /rosette/rosette/guide/scribble/libs raco setup: 0 making: /rosette/rosette/guide/scribble/performance raco setup: 0 making: /rosette/rosette/guide/scribble/reflection raco setup: 0 making: /rosette/rosette/guide/scribble/unsafe raco setup: 0 making: /rosette/rosette/guide/scribble/util raco setup: 0 making: /rosette/rosette/guide/scribble/welcome raco setup: 0 making: /rosette/rosette/lang raco setup: 0 making: /rosette/rosette/lib raco setup: 0 making: /rosette/rosette/lib/profile raco setup: 0 making: /rosette/rosette/lib/profile/renderer raco setup: 0 making: /rosette/rosette/lib/profile/renderer/report raco setup: 0 making: /rosette/rosette/lib/profile/renderer/report/html raco setup: 0 making: /rosette/rosette/lib/profile/renderer/report/html/css raco setup: 0 making: /rosette/rosette/lib/profile/renderer/report/html/js raco setup: 0 making: /rosette/rosette/lib/trace raco setup: 0 making: /rosette/rosette/lib/trace/report raco setup: 0 making: /rosette/rosette/lib/trace/report/dist raco setup: 0 making: /rosette/rosette/lib/util raco setup: 0 making: /rosette/rosette/private raco setup: 0 making: /rosette/rosette/query raco setup: 0 making: /rosette/rosette/safe raco setup: 0 making: /rosette/rosette/safe/lang raco setup: 0 making: /rosette/rosette/solver raco setup: 0 making: /rosette/rosette/solver/smt raco setup: --- creating launchers --- [12:12:44] raco setup: --- installing man pages --- [12:12:44] raco setup: --- building documentation --- [12:12:44] raco setup: syncing: /automata-doc/doc/automata raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /ee-lib/doc/ee-lib raco setup: syncing: /metapict/metapict/doc/metapict raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /ppict/doc/ppict raco setup: syncing: /rfc6455/net/rfc6455/doc/rfc6455 raco setup: syncing: /rosette/rosette/doc/rosette-guide raco setup: syncing: /struct-set/doc/struct-set raco setup: syncing: /syntax-classes-doc/scribblings/doc/syntax-classes raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: 1 running: /lsl/scribblings/lsl.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /lsl/scribblings/lsl.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [12:13:13] raco setup: installing: /racket raco setup: installing: /gui-lib/racket/gui raco setup: --- post-installing collections --- [12:13:13] raco setup: post-installing: /rosette/rosette ********** Failed to install Z3 ********** Rosette installed successfully, but wasn't able to install the Z3 SMT solver. You'll need to manually install a Z3 binary at this location: /home/root/user/.local/share/racket/8.12/pkgs/rosette/bin/z3 or anywhere that is on your PATH. Alternatively, in your programs, you can construct a solver object manually: (current-solver (z3 #:path "/path/to/z3")) Note that Rosette ships with a specific release of Z3 (v4.8.8). Installing a different version of Z3 may change the performance of Rosette programs. The problem was: tcp-connect: host not found hostname: github.com port number: 443 system error: Temporary failure in name resolution; gai_err=-3 ********** The time is now Friday, March 29th, 2024 12:13:13pm