The time is now Wednesday, November 15th, 2023 8:50:20pm (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto softposit-herbie) Resolved "softposit-herbie" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "me@pavpanchekha.com") (checksum . "08b89a81e220bb0fc6d87e2458b148b655bbb1dd") (dependencies . (("math-lib") ("base") ("softposit-rkt") ("rival") ("herbie" #:version "2.0"))) (description . "SoftPosit support for Herbie") (modules . ((lib "softposit-herbie/main.rkt"))) (name . "softposit-herbie") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/softposit-herbie.zip") (tags . ("floating-point" "posits"))) 00: Resolved "softposit-rkt" via file:///home/root//catalogs/built/catalog 00: Resolved "rival" via file:///home/root//catalogs/built/catalog Resolved "herbie" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "dthien@cs.washington.edu me@pavpanchekha.com") (checksum . "695778056c41c7a45becc73dbc5025c905e56088") (dependencies . (("math-lib") ("base") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Racket bindings for the C softposit library. More info at posithub.org (currently only works on Linux 64-bit.)") (modules . ((lib "softposit-rkt/main.rkt") (lib "softposit-rkt/softposit-rkt.scrbl") (lib "softposit-rkt/install.rkt") (lib "softposit-rkt/softposit.rkt"))) (name . "softposit-rkt") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/softposit-rkt.zip") (tags . ("ffi" "numerical" "posits" "softposit" "unum"))) pkg: catalog response: #hash((author . "me@pavpanchekha.com") (checksum . "ba8557bfdba58dea0ddb10ae9616f3b3d62fad0a") (dependencies . (("base" #:version "8.0") ("math-lib") ("rackunit-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("math-doc") ("sandbox-lib"))) (description . "Interval analysis for real computation") (modules . ((lib "rival/infra/format-mathematica.rkt") (lib "rival/infra/generate-points.rkt") (lib "rival/rival.scrbl") (lib "rival/test.rkt") (lib "rival/infra/run-mpfi.rkt") (lib "rival/infra/interval-evaluate.rkt") (lib "rival/time.rkt") (lib "rival/infra/report.rkt") (lib "rival/main.rkt") (lib "rival/infra/run-mathematica.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 bksaiki@gmail.com") (checksum . "27e74fff3127613378fb431a4276e86fad45f5b2") (dependencies . (("base" #:version "8.0") ("math-lib") ("plot-lib") ("profile-lib") ("rackunit-lib") ("web-server-lib") ("draw-lib") ("egg-herbie" #:version "1.6") ("rival" #:version "1.4") ("fpbench" #:version "2.0.3") ("rackunit-lib"))) (description . "A tool for automatically improving the accuracy of floating point expressions") (modules . ((lib "herbie/improve.rkt") (lib "herbie/sandbox.rkt") (lib "herbie/web/run.rkt") (lib "herbie/timeline.rkt") (lib "herbie/syntax/sugar.rkt") (lib "herbie/core/simplify.rkt") (lib "herbie/pareto.rkt") (lib "herbie/core/reduce.rkt") (lib "herbie/symmetry.rkt") (lib "herbie/web/traceback.rkt") (lib "herbie/web/history.rkt") (lib "herbie/core/alt-table.rkt") (lib "herbie/syntax/rules.rkt") (lib "herbie/web/thread-pool.rkt") (lib "herbie/float.rkt") (lib "herbie/web/demo.rkt") (lib "herbie/syntax/types.rkt") (lib "herbie/syntax/syntax.rkt") (lib "herbie/web/timeline.rkt") (lib "herbie/plugin.rkt") (lib "herbie/syntax/type-check.rkt") (lib "herbie/core/regimes.rkt") (lib "herbie/interface.rkt") (lib "herbie/web/plot.rkt") (lib "herbie/profile.rkt") (lib "herbie/herbie.rkt") (lib "herbie/config.rkt") (lib "herbie/web/pages.rkt") (lib "herbie/core/matcher.rkt") (lib "herbie/mainloop.rkt") (lib "herbie/errors.rkt") (lib "herbie/syntax/syntax-check.rkt") (lib "herbie/core/localize.rkt") (lib "herbie/reprs/fallback.rkt") (lib "herbie/datafile.rkt") (lib "herbie/programs.rkt") (lib "herbie/core/periodicity.rkt") (lib "herbie/conversions.rkt") (lib "herbie/patch.rkt") (lib "herbie/cost.rkt") (lib "herbie/pretty-print.rkt") (lib "herbie/core/taylor.rkt") (lib "herbie/preprocess.rkt") (lib "herbie/shell.rkt") (lib "herbie/web/make-report.rkt") (lib "herbie/multi-command-line.rkt") (lib "herbie/load-plugin.rkt") (lib "herbie/web/common.rkt") (lib "herbie/web/make-graph.rkt") (lib "herbie/reprs/binary32.rkt") (lib "herbie/reprs/binary64.rkt") (lib "herbie/searchreals.rkt") (lib "herbie/common.rkt") (lib "herbie/syntax/test-rules.rkt") (lib "herbie/ground-truth.rkt") (lib "herbie/reprs/bool.rkt") (lib "herbie/points.rkt") (lib "herbie/sampling.rkt") (lib "herbie/syntax/read.rkt") (lib "herbie/alternative.rkt"))) (name . "herbie") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/herbie.zip") (tags . ("floating-point" "synthesis"))) 00: Resolved "egg-herbie" via file:///home/root//catalogs/built/catalog Resolved "fpbench" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "oflatt@gmail.com pavpan@cs.utah.edu me@pavpancheckha.com") (checksum . "a9ca9e7de553225b7a064dfbf783795413390343") (dependencies . (("egg-herbie-osx" #:version "1.6" #:platform "x86_64-macosx") ("egg-herbie-windows" #:version "1.6" #:platform "win32\\x86_64") ("egg-herbie-linux" #:version "1.6" #:platform "x86_64-linux") ("egg-herbie-linux" #:version "1.6" #:platform "x86_64-linux-natipkg"))) (description . "An egg interface for Herbie.") (modules . ()) (name . "egg-herbie") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/egg-herbie.zip") (tags . ())) pkg: catalog response: #hash((author . "me@pavpanchekha.com dthien@cs.washington.edu") (checksum . "ff307cdd48ec1a2b603ac4e62d979fa9ed076848") (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/core2js.rkt") (lib "fpbench/infra/test-core2python.rkt") (lib "fpbench/src/core2wls.rkt") (lib "fpbench/src/core2python.rkt") (lib "fpbench/infra/test-common.rkt") (lib "fpbench/infra/test-core2java.rkt") (lib "fpbench/infra/test-core2ocaml.rkt") (lib "fpbench/src/fpcore-checker.rkt") (lib "fpbench/src/common.rkt") (lib "fpbench/src/imperative.rkt") (lib "fpbench/src/common-subexpr-elim.rkt") (lib "fpbench/evaluate.rkt") (lib "fpbench/infra/test-core2go.rkt") (lib "fpbench/export.rkt") (lib "fpbench/src/core2rust.rkt") (lib "fpbench/infra/gen-expr.rkt") (lib "fpbench/toolserver.rkt") (lib "fpbench/src/core2sollya.rkt") (lib "fpbench/src/canonicalizer.rkt") (lib "fpbench/src/core2gappa.rkt") (lib "fpbench/src/ml-canonicalizer.rkt") (lib "fpbench/src/core2smtlib2.rkt") (lib "fpbench/src/range-analysis.rkt") (lib "fpbench/src/core2go.rkt") (lib "fpbench/src/core2h.rkt") (lib "fpbench/src/core2cakeml.rkt") (lib "fpbench/infra/test-core2cakeml.rkt") (lib "fpbench/src/ml.rkt") (lib "fpbench/src/core2c.rkt") (lib "fpbench/infra/gen-sanity.rkt") (lib "fpbench/src/evaluator.rkt") (lib "fpbench/src/fpcore-reader.rkt") (lib "fpbench/infra/test-core2fortran03.rkt") (lib "fpbench/infra/test-core2sollya.rkt") (lib "fpbench/src/core2tex.rkt") (lib "fpbench/infra/gen-tests.rkt") (lib "fpbench/infra/test-core2fptaylor.rkt") (lib "fpbench/src/compilers.rkt") (lib "fpbench/src/core2matlab.rkt") (lib "fpbench/infra/bench-stats.rkt") (lib "fpbench/src/core2fortran03.rkt") (lib "fpbench/src/core2scala.rkt") (lib "fpbench/src/core2ocaml.rkt") (lib "fpbench/src/tensor.rkt") (lib "fpbench/infra/test-core2wls.rkt") (lib "fpbench/src/sampler.rkt") (lib "fpbench/src/fpcore-visitor.rkt") (lib "fpbench/src/fpcore-interpreter.rkt") (lib "fpbench/infra/filter.rkt") (lib "fpbench/infra/test-core2haskell.rkt") (lib "fpbench/infra/test-core2smtlib2.rkt") (lib "fpbench/infra/test-core2scala.rkt") (lib "fpbench/infra/test-core2julia.rkt") (lib "fpbench/infra/test-core2rust.rkt") (lib "fpbench/src/lisp.rkt") (lib "fpbench/infra/core2json.rkt") (lib "fpbench/infra/test-core2c.rkt") (lib "fpbench/infra/test-core2matlab.rkt") (lib "fpbench/src/core2fptaylor.rkt") (lib "fpbench/src/fpcore-extra.rkt") (lib "fpbench/main.rkt") (lib "fpbench/src/core2java.rkt") (lib "fpbench/src/core2julia.rkt") (lib "fpbench/transform.rkt") (lib "fpbench/infra/test-core2js.rkt") (lib "fpbench/src/supported.rkt") (lib "fpbench/src/core2haskell.rkt"))) (name . "fpbench") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fpbench.zip") (tags . ("floating-point" "numerical" "standards"))) 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 . "bf8586e1af8baf7ea70b3e79d1eb88a953d0d7c7") (dependencies . (("rackunit-lib"))) (description . "") (modules . ((lib "egg-herbie/to-egg-pattern.rkt") (lib "egg-herbie/egg-interface.rkt") (lib "egg-herbie/main.rkt"))) (name . "egg-herbie-linux") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/egg-herbie-linux.zip") (tags . ())) Resolved "generic-flonum" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bksaiki@gmail.com") (checksum . "a9ee0b42140229a874f710b7bd42fa259eec4306") (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/scribblings/generic-flonum.scrbl") (lib "generic-flonum/main.rkt") (lib "generic-flonum/tests/test.rkt") (lib "generic-flonum/private/mpfr.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"))) racket pkg install: version mismatch for dependency for package: softposit-herbie mismatch packages: herbie (have 1.6, need 2.0) The time is now Wednesday, November 15th, 2023 8:50:31pm