The time is now Mon, 17 Aug 2026 19:07:23 -0500
(/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run --auto-servernum /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto herbie)
Resolved "herbie" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "me@pavpanchekha.com bksaiki@gmail.com") (checksum . "8ec07d0037fd463bc82535486700f9e9182c6e30") (dependencies . (("base" #:version "8.0") ("math-lib") ("typed-racket-lib") ("profile-lib") ("cover") ("rackunit-lib") ("web-server-lib") ("rival3" #:version "1.0") ("egg-herbie" #:version "2.2") ("rival" #:version "2.3") ("fpbench" #:version "2.0.3") ("fmt") ("rackunit-lib"))) (description . "A tool for automatically improving the accuracy of floating point expressions") (modules . ((lib "herbie/core/egglog-herbie-tests.rkt") (lib "herbie/platform.rkt") (lib "herbie/syntax/load-platform.rkt") (lib "herbie/utils/timeline.rkt") (lib "herbie/core/mainloop.rkt") (lib "herbie/utils/profile.rkt") (lib "herbie/platforms/herbie10.rkt") (lib "herbie/core/programs.rkt") (lib "herbie/core/searchreals.rkt") (lib "herbie/api/run.rkt") (lib "herbie/utils/errors.rkt") (lib "herbie/platforms/racket.rkt") (lib "herbie/syntax/platform-state.rkt") (lib "herbie/core/explain.rkt") (lib "herbie/syntax/rival.rkt") (lib "herbie/platforms/python.rkt") (lib "herbie/syntax/batch.rkt") (lib "herbie/utils/common.rkt") (lib "herbie/core/localize.rkt") (lib "herbie/core/patch.rkt") (lib "herbie/reports/pages.rkt") (lib "herbie/core/regimes.rkt") (lib "herbie/reports/core2mathjs.rkt") (lib "herbie/core/bsearch.rkt") (lib "herbie/api/sandbox.rkt") (lib "herbie/core/compiler.rkt") (lib "herbie/reports/make-graph.rkt") (lib "herbie/api/demo.rkt") (lib "herbie/reports/history.rkt") (lib "herbie/platforms/c-windows.rkt") (lib "herbie/syntax/read.rkt") (lib "herbie/reports/traceback.rkt") (lib "herbie/syntax/syntax.rkt") (lib "herbie/syntax/types.rkt") (lib "herbie/core/points.rkt") (lib "herbie/syntax/type-check.rkt") (lib "herbie/reports/data.rkt") (lib "herbie/core/arrays.rkt") (lib "herbie/core/preprocess.rkt") (lib "herbie/platforms/reflow.rkt") (lib "herbie/core/alt-table.rkt") (lib "herbie/syntax/generators.rkt") (lib "herbie/utils/dvector.rkt") (lib "herbie/syntax/float.rkt") (lib "herbie/platforms/julia.rkt") (lib "herbie/core/rules.rkt") (lib "herbie/utils/pretty-print.rkt") (lib "herbie/core/egg-herbie.rkt") (lib "herbie/platforms/math.rkt") (lib "herbie/core/taylor.rkt") (lib "herbie/core/egglog-herbie.rkt") (lib "herbie/main.rkt") (lib "herbie/core/alternative.rkt") (lib "herbie/syntax/platform-language.rkt") (lib "herbie/reports/plot.rkt") (lib "herbie/syntax/syntax-check.rkt") (lib "herbie/utils/pareto.rkt") (lib "herbie/syntax/platform.rkt") (lib "herbie/config.rkt") (lib "herbie/reports/common.rkt") (lib "herbie/core/prove-rules.rkt") (lib "herbie/platforms/herbie20.rkt") (lib "herbie/reports/timeline.rkt") (lib "herbie/core/test-rules.rkt") (lib "herbie/syntax/test-syntax.rkt") (lib "herbie/syntax/sugar.rkt") (lib "herbie/platforms/rival.rkt") (lib "herbie/platforms/c.rkt") (lib "herbie/core/derivations.rkt") (lib "herbie/api/datafile.rkt") (lib "herbie/utils/multi-command-line.rkt") (lib "herbie/syntax/matcher.rkt") (lib "herbie/core/egglog-subprocess.rkt") (lib "herbie/core/batch-reduce.rkt") (lib "herbie/api/server.rkt") (lib "herbie/api/shell.rkt") (lib "herbie/core/sampling.rkt"))) (name . "herbie") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/herbie.zip") (tags . ("floating-point" "synthesis")))
00: Resolved "cover" via file:///home/root//catalogs/built/catalog
00: Resolved "rival3" via file:///home/root//catalogs/built/catalog
01: Resolved "egg-herbie" via file:///home/root//catalogs/built/catalog
01: Resolved "rival" via file:///home/root//catalogs/built/catalog
00: Resolved "fpbench" via file:///home/root//catalogs/built/catalog
Resolved "fmt" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "spencer@florence.io") (checksum . "31c8c8dc8f59fedfb4e199ab0e91085f24aeca13") (dependencies . (("cover-lib") ("cover-doc"))) (description . "A code coverage tool") (modules . ()) (name . "cover") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cover.zip") (tags . ("testing" "tools")))
pkg: catalog response: #hash((author . "obround.dev@gmail.com") (checksum . "cf4d63d4ee87a8566af80fec35e88b38be22cd96") (dependencies . (("base" #:version "8.0") ("math-lib") ("scribble-lib") ("racket-doc") ("math-doc"))) (description . "Interval arithmetic for real computation") (modules . ((lib "rival3/scribblings/rival3.scrbl") (lib "rival3/scribblings/profile.scrbl") (lib "rival3/ops.rkt") (lib "rival3/main.rkt") (lib "rival3/scribblings/eval.scrbl"))) (name . "rival3") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rival3.zip") (tags . ("analysis" "floating-point" "numerical")))
pkg: catalog response: #hash((author . "me@pavpanchekha.com oflatt@gmail.com pavpan@cs.utah.edu") (checksum . "9c6d818962a0c70a2fe7817bdf9e1c62b53cb54f") (dependencies . (("base" #:version "8.0") ("egg-herbie-macosm1" #:version "2.0" #:platform "aarch64-macosx") ("egg-herbie-osx" #:version "2.0" #:platform "x86_64-macosx") ("egg-herbie-windows" #:version "2.0" #:platform "win32\\x86_64") ("egg-herbie-linux" #:version "2.0" #:platform "x86_64-linux") ("egg-herbie-linux" #:version "2.0" #:platform "x86_64-linux-natipkg"))) (description . "A Herbie component to simplify mathematical expressions using the egg egraph library") (modules . ()) (name . "egg-herbie") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/egg-herbie.zip") (tags . ("algebra" "data-structures" "equality" "simplify")))
pkg: catalog response: #hash((author . "me@pavpanchekha.com") (checksum . "fd04e80b84f547c913574846c8b7ff8d30091148") (dependencies . (("base" #:version "8.0") ("math-lib") ("rackunit-lib") ("profile-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("math-doc") ("sandbox-lib"))) (description . "Interval analysis for real computation") (modules . ((lib "rival/scribblings/core.scrbl") (lib "rival/eval/adjust.rkt") (lib "rival/scribblings/profile.scrbl") (lib "rival/ops/pow.rkt") (lib "rival/mpfr.rkt") (lib "rival/infra/run-mpfi.rkt") (lib "rival/eval/tricks.rkt") (lib "rival/infra/run-mathematica.rkt") (lib "rival/eval/compile.rkt") (lib "rival/eval/run.rkt") (lib "rival/utils.rkt") (lib "rival/repl.rkt") (lib "rival/eval/main.rkt") (lib "rival/scribblings/eval.scrbl") (lib "rival/infra/run-sollya.rkt") (lib "rival/eval/machine.rkt") (lib "rival/time.rkt") (lib "rival/ops/trig.rkt") (lib "rival/infra/report.rkt") (lib "rival/ops/gamma.rkt") (lib "rival/profile.rkt") (lib "rival/scribblings/rival.scrbl") (lib "rival/ops/all.rkt") (lib "rival/ops/arith.rkt") (lib "rival/infra/run-baseline.rkt") (lib "rival/infra/format-mathematica.rkt") (lib "rival/test.rkt") (lib "rival/infra/generate-points.rkt") (lib "rival/main.rkt") (lib "rival/ops/core.rkt") (lib "rival/infra/interval-evaluate.rkt") (lib "rival/eval/tests.rkt") (lib "rival/eval/types.rkt") (lib "rival/ops/fmod.rkt"))) (name . "rival") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rival.zip") (tags . ("analysis" "floating-point" "numerical")))
pkg: catalog response: #hash((author . "me@pavpanchekha.com bsaiki@cs.washington.edu") (checksum . "7311d82ab67375a702b02a11fc9e7a35427605dc") (dependencies . (("base") ("math-lib") ("generic-flonum") ("rackunit-lib"))) (description . "Tools for the FPBench numerical software standards (more info at http://fpbench.org/)") (modules . ((lib "fpbench/src/fpcore-extra.rkt") (lib "fpbench/infra/test-core2matlab.rkt") (lib "fpbench/src/core2js.rkt") (lib "fpbench/src/core2ocaml.rkt") (lib "fpbench/infra/gen-expr.rkt") (lib "fpbench/toolserver.rkt") (lib "fpbench/src/core2python.rkt") (lib "fpbench/infra/test-common.rkt") (lib "fpbench/infra/test-core2js.rkt") (lib "fpbench/src/sampler.rkt") (lib "fpbench/src/core2matlab.rkt") (lib "fpbench/infra/test-core2go.rkt") (lib "fpbench/export.rkt") (lib "fpbench/src/supported.rkt") (lib "fpbench/infra/gen-tests.rkt") (lib "fpbench/infra/test-core2vivado.rkt") (lib "fpbench/src/fpcore-checker.rkt") (lib "fpbench/src/multi-command-line.rkt") (lib "fpbench/infra/test-core2python.rkt") (lib "fpbench/src/fpcore-reader.rkt") (lib "fpbench/infra/test-core2reflow.rkt") (lib "fpbench/src/range-analysis.rkt") (lib "fpbench/src/core2julia.rkt") (lib "fpbench/src/core2haskell.rkt") (lib "fpbench/infra/test-core2java.rkt") (lib "fpbench/src/core2vivado.rkt") (lib "fpbench/src/canonicalizer.rkt") (lib "fpbench/src/core2cuda.rkt") (lib "fpbench/src/core2smtlib2.rkt") (lib "fpbench/fpbench.rkt") (lib "fpbench/src/core2go.rkt") (lib "fpbench/src/ml-canonicalizer.rkt") (lib "fpbench/src/core2gappa.rkt") (lib "fpbench/src/core2sollya.rkt") (lib "fpbench/src/core2reflow.rkt") (lib "fpbench/src/common-subexpr-elim.rkt") (lib "fpbench/src/core2rust.rkt") (lib "fpbench/infra/test-core2ocaml.rkt") (lib "fpbench/src/imperative.rkt") (lib "fpbench/src/core2java.rkt") (lib "fpbench/infra/test-core2fptaylor.rkt") (lib "fpbench/src/lisp.rkt") (lib "fpbench/src/core2fortran03.rkt") (lib "fpbench/infra/test-core2sollya.rkt") (lib "fpbench/src/core2tex.rkt") (lib "fpbench/src/core2scala.rkt") (lib "fpbench/infra/bench-stats.rkt") (lib "fpbench/infra/gen-sanity.rkt") (lib "fpbench/infra/test-core2fortran03.rkt") (lib "fpbench/src/compilers.rkt") (lib "fpbench/src/evaluator.rkt") (lib "fpbench/src/common.rkt") (lib "fpbench/evaluate.rkt") (lib "fpbench/src/core2c.rkt") (lib "fpbench/infra/test-core2cuda.rkt") (lib "fpbench/infra/core2json.rkt") (lib "fpbench/infra/test-core2c.rkt") (lib "fpbench/src/core2fptaylor.rkt") (lib "fpbench/infra/test-core2haskell.rkt") (lib "fpbench/infra/test-core2smtlib2.rkt") (lib "fpbench/src/ml.rkt") (lib "fpbench/src/core2wls.rkt") (lib "fpbench/src/core2h.rkt") (lib "fpbench/transform.rkt") (lib "fpbench/infra/test-core2julia.rkt") (lib "fpbench/infra/test-core2rust.rkt") (lib "fpbench/src/fpcore-interpreter.rkt") (lib "fpbench/src/core2cakeml.rkt") (lib "fpbench/infra/test-core2cakeml.rkt") (lib "fpbench/main.rkt") (lib "fpbench/src/fpcore-visitor.rkt") (lib "fpbench/infra/test-core2wls.rkt") (lib "fpbench/infra/filter.rkt") (lib "fpbench/src/tensor.rkt") (lib "fpbench/infra/test-core2scala.rkt"))) (name . "fpbench") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fpbench.zip") (tags . ("floating-point" "numerical" "standards")))
pkg: catalog response: #hash((author . "sorawee.pwase@gmail.com") (checksum . "8ec6c3309a8372e8222528e7be5f97848cab2ab4") (dependencies . (("pretty-expressive" #:version "1.2") ("syntax-color-lib") ("base") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "An extensible code formatter for Racket") (modules . ((lib "fmt/tests/test-cases/let-cc-ec.rkt") (lib "fmt/read.rkt") (lib "fmt/tests/test-cases/test-dot.rkt") (lib "fmt/realign.rkt") (lib "fmt/tests/test-cases/test-deinprogramm.rkt") (lib "fmt/tests/test-cases/define-contract.rkt") (lib "fmt/scribblings/kws.rkt") (lib "fmt/tests/test-cases/define-match.rkt") (lib "fmt/tests/test-cases/general.rkt") (lib "fmt/for-profiling.rkt") (lib "fmt/tests/test-cases/send.rkt") (lib "fmt/tests/benchmarks/class-internal.rkt") (lib "fmt/params.rkt") (lib "fmt/tests/test-cases/test-quasisyntax.rkt") (lib "fmt/tests/test-cases/large2.rkt") (lib "fmt/tests/permission-test.rkt") (lib "fmt/.fmt.rkt") (lib "fmt/tests/test-cases/cr.rkt") (lib "fmt/tests/test-cases/test-asl.rkt") (lib "fmt/private/memoize.rkt") (lib "fmt/tests/benchmarks/xform.rkt") (lib "fmt/tests/test-cases/test-if.rkt") (lib "fmt/version.rkt") (lib "fmt/core.rkt") (lib "fmt/tests/benchmarks/list.rkt") (lib "fmt/tokenize.rkt") (lib "fmt/raco.rkt") (lib "fmt/conventions.rkt") (lib "fmt/tests/test-cases/large.rkt") (lib "fmt/tests/config-tests/file.rkt") (lib "fmt/tests/test-cases/rackunit.rkt") (lib "fmt/tests/benchmarks/hash.rkt") (lib "fmt/tests/test-cases/test-hash-bang.rkt") (lib "fmt/tests/test-cases/test-herestring.rkt") (lib "fmt/tests/config-tests/config.rkt") (lib "fmt/scribblings/fmt.scrbl") (lib "fmt/record.rkt") (lib "fmt/tests/test-cases/test-class.rkt") (lib "fmt/common.rkt") (lib "fmt/tests/test-cases/let-values.rkt") (lib "fmt/tests/test-cases/test-lambda.rkt") (lib "fmt/scribblings/examples/example.rkt") (lib "fmt/tests/test-cases/delay.rkt") (lib "fmt/main.rkt") (lib "fmt/scribblings/util.rkt") (lib "fmt/regen.rkt"))) (name . "fmt") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fmt.zip") (tags . ("formatter")))
00: Resolved "cover-lib" via file:///home/root//catalogs/built/catalog
Resolved "cover-doc" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "spencer@florence.io") (checksum . "cff61bc37fde98c6770eb62e99fdcb3bdf64a413") (dependencies . (("base") ("compiler-lib") ("custom-load") ("data-lib") ("errortrace-lib") ("syntax-color-lib") ("testing-util-lib"))) (description . "A code coverage tool, implementation part") (modules . ((lib "cover/raco.rkt") (lib "cover/format.rkt") (lib "cover/cover.rkt") (lib "cover/main.rkt") (lib "cover/strace.rkt") (lib "cover/private/shared.rkt") (lib "cover/private/raw.rkt") (lib "cover/private/html/html.rkt") (lib "cover/private/file-utils.rkt") (lib "cover/private/format-utils.rkt") (lib "cover/private/contracts.rkt"))) (name . "cover-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cover-lib.zip") (tags . ("testing" "tools")))
pkg: catalog response: #hash((author . "spencer@florence.io") (checksum . "99bf55f242abcf0a69ffbba26a1d76cf4b293044") (dependencies . (("base") ("cover-lib") ("racket-doc") ("base") ("scribble-lib"))) (description . "A code coverage tool, documentation") (modules . ((lib "cover/scribblings/plugins.scrbl") (lib "cover/scribblings/cover.scrbl") (lib "cover/scribblings/api.scrbl") (lib "cover/scribblings/basics.scrbl") (lib "cover/scribblings/base.rkt"))) (name . "cover-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cover-doc.zip") (tags . ("testing" "tools")))
Resolved "custom-load" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "4600f3d256adfb10ec0217c72e3ce46f7e7ab140") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "A load handler that avoids stale zo files.") (modules . ((lib "custom-load/custom-load.scrbl") (lib "custom-load/main.rkt") (lib "custom-load/top.rkt") (lib "custom-load/test/c.rkt") (lib "custom-load/test/a.rkt") (lib "custom-load/test/b.rkt") (lib "custom-load/private/loader.rkt"))) (name . "custom-load") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/custom-load.zip") (tags . ()))
Resolved "egg-herbie-linux" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "me@pavpanchekha.com bksaiki@gmail.com oflatt@gmail.com") (checksum . "0f13d2b79fd30e33754574c9bf1b44f34cacdf27") (dependencies . (("base" #:version "8.0") ("rackunit-lib"))) (description . "A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package)") (modules . ((lib "egg-herbie/main.rkt"))) (name . "egg-herbie-linux") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/egg-herbie-linux.zip") (tags . ("algebra" "binary-package" "data-structures" "equality" "simplify")))
Resolved "generic-flonum" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "me@pavpanchekha.com bksaiki@gmail.com") (checksum . "afa0148ee9b66ae2a8f2249f998817c1eee7e7ac") (dependencies . (("math-lib") ("base") ("scribble-lib") ("rackunit-lib") ("racket-doc") ("math-doc"))) (description . "Alternative MPFR interface for emulating IEEE-754 floating-point numbers") (modules . ((lib "generic-flonum/private/mpfr.rkt") (lib "generic-flonum/private/ffi.rkt") (lib "generic-flonum/scribblings/generic-flonum.scrbl") (lib "generic-flonum/main.rkt") (lib "generic-flonum/tests/test.rkt") (lib "generic-flonum/private/gfl-interface.rkt") (lib "generic-flonum/private/gfl-consts.rkt") (lib "generic-flonum/private/gfl.rkt"))) (name . "generic-flonum") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/generic-flonum.zip") (tags . ("floating-point" "math")))
Resolved "pretty-expressive" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "sorawee.pwase@gmail.com") (checksum . "8926b3d9325f537d23e75f563da9509d6ed87b91") (dependencies . (("base") ("pretty-expressive-lib" #:version "1.2") ("racket-doc") ("scribble-lib") ("rackunit-lib"))) (description . "A pretty expressive printer") (modules . ((lib "pretty-expressive/tests/main.rkt") (lib "pretty-expressive/tests/examples.rkt") (lib "pretty-expressive/scribblings/pretty-expressive.scrbl") (lib "pretty-expressive/tests/benchtool.rkt"))) (name . "pretty-expressive") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pretty-expressive.zip") (tags . ("pretty-printer")))
Resolved "pretty-expressive-lib" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "sorawee.pwase@gmail.com") (checksum . "84478561836058bddacc7916f696c8f00d3cf493") (dependencies . (("base"))) (description . "A pretty expressive printer - lib") (modules . ((lib "pretty-expressive/core.rkt") (lib "pretty-expressive/main.rkt") (lib "pretty-expressive/doc.rkt") (lib "pretty-expressive/process.rkt") (lib "pretty-expressive/addons.rkt") (lib "pretty-expressive/promise.rkt"))) (name . "pretty-expressive-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pretty-expressive-lib.zip") (tags . ("pretty-printer")))
racket pkg install: version mismatch for dependency
  for package: herbie
  mismatch packages:
   egg-herbie (have 2.0, need 2.2)
GC: 0:atexit peak 118,544K(+52,471K); alloc 2,970,433K; major 1; minor 360; 1384ms
The time is now Mon, 17 Aug 2026 19:09:42 -0500