For information about the package build service, see https://pkg-build.racket-lang.org/about.html
The time is now Sun, 9 Aug 2026 22:41:59 +0000
(/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: /usr/bin/xvfb-run --auto-servernum -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto roulette && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package roulette)
Resolved "roulette" via file:///home/root//catalogs/built/catalog
00: Resolved "rosette" via file:///home/root//catalogs/built/catalog
01: Resolved "roulette-lib" via file:///home/root//catalogs/built/catalog
Resolved "text-table" via file:///home/root//catalogs/built/catalog
01: Resolved "custom-load" via file:///home/root//catalogs/built/catalog
Resolved "rfc6455" via file:///home/root//catalogs/built/catalog
Resolved "roulette-x86_64-linux" via file:///home/root//catalogs/built/catalog
The following uninstalled packages were listed as dependencies
and they were automatically installed:
 dependencies of roulette:
   rosette
   roulette-lib
   text-table
   rosette
 dependencies of rosette:
   custom-load
   rfc6455
 dependencies of roulette-lib:
   roulette-x86_64-linux
raco setup: version: 9.2
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 9.2
raco setup: variants: cs
raco setup: main collects: /home/root/racket/collects/
raco setup: collects paths: 
raco setup:   /home/root/user/.local/share/racket/9.2/collects
raco setup:   /home/root/racket/collects/
raco setup: main pkgs: /home/root/racket/share/pkgs
raco setup: pkgs paths: 
raco setup:   /home/root/racket/share/pkgs
raco setup:   /home/root//user/.local/share/racket/9.2/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/9.2/links.rktd
raco setup: compiled-file roots: 
raco setup:   /home/root//zo
raco setup:   same
raco setup: --- updating info-domain tables ---                    [22:42:03]
raco setup: updating: /home/root/user/.local/share/racket/9.2/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [22:42:03]
raco setup: pre-installing: <pkgs>/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/9.2/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 ---                   [22:42:03]
raco setup: installing: foreign library /home/root/user/.local/share/racket/9.2/lib/librsdd.so
raco setup: --- installing shared files ---                        [22:42:03]
raco setup: --- compiling collections ---                          [22:42:03]
raco setup: --- parallel build using 2 jobs ---                    [22:42:03]
raco setup: 1 making: <pkgs>/custom-load (custom-load)
raco setup: 0 making: <pkgs>/rfc6455/net
raco setup: 1 making: <pkgs>/custom-load/private
raco setup: 1 making: <pkgs>/rosette/rosette
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455/examples
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455/hybi00
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455/private
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455/rfc6455
raco setup: 0 making: <pkgs>/roulette (roulette)
raco setup: 0 making: <pkgs>/roulette/example
raco setup: 0 making: <pkgs>/roulette/example/disrupt
raco setup: 0 making: <pkgs>/roulette/scribblings
raco setup: 0 making: <pkgs>/roulette/test
raco setup: 0 making: <pkgs>/roulette/test/bn
raco setup: 0 making: <pkgs>/roulette-lib (roulette)
raco setup: 0 making: <pkgs>/roulette-lib/engine
raco setup: 0 making: <pkgs>/roulette-lib/private
raco setup: 0 making: <pkgs>/roulette-x86_64-linux
raco setup: 0 making: <pkgs>/text-table
raco setup: 0 making: <pkgs>/text-table/tests
raco setup: 1 making: <pkgs>/rosette/rosette/guide/scribble/performance
raco setup: 1 making: <pkgs>/rosette/rosette/guide/scribble/util
raco setup: 1 making: <pkgs>/rosette/rosette/lang
raco setup: 1 making: <pkgs>/rosette/rosette/lib
raco setup: --- creating launchers ---                             [22:42:12]
raco setup: --- installing man pages ---                           [22:42:12]
raco setup: --- building documentation ---                         [22:42:12]
raco setup: syncing: <pkgs>/custom-load/doc/custom-load
raco setup: syncing: <pkgs>/rfc6455/net/rfc6455/doc/rfc6455
raco setup: syncing: <pkgs>/rosette/rosette/doc/rosette-guide
raco setup: syncing: <pkgs>/roulette/doc/roulette
raco setup: syncing: <pkgs>/text-table/doc/text-table
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---                         [22:42:18]
raco setup: --- post-installing collections ---                    [22:42:18]
raco setup: post-installing: <pkgs>/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/9.2/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 test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/example/bentham.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/example/bn.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/example/dice.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/example/disrupt/core.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/example/disrupt/safe.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/example/disrupt.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/info.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/bentham.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/bn.scrbl")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/dice.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/disrupt.scrbl")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/engines.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/examples.scrbl")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/label.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/reference.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/roulette.scrbl")
raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bentham.rkt") test)
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/alarm.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/cancer.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/hailfinder.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/hepar2.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/insurance.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/munin.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/pigs.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/survey.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/water.rkt")
raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn.rkt") test)
bn.rkt: racket test: #<<non-empty stderr
--------------------
ERROR
name:       check-true
location:
  /home/root/user/.local/share/racket/9.2/pkgs/roulette/test/bn.rkt:12:2

hash-keys: contract violation
  expected: hash?
  given: (union [(|| (&& x$0 x$2 x$3) (&& x$0 (! x$2) ...) ...) #hash((True . 1))] [(|| (&& x$0 x$2 (! x$3)) (&& x$0 (! ...) ...) ...) #hash((False . 1))] [(&& (|| (&& x$0 x$2 x$3) (&& x$0 (! ...) ...) ...) ...) #hash((False . 1/2) (True . 1/2))] [(&& (|| (&& x$ ])
--------------------

non-empty stderr
raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/dice.rkt") test)
dice.rkt: racket test: #<<non-empty stderr
region for value has ended
  context...:
   .../form/control.rkt:16:25
   /home/root/user/.local/share/racket/9.2/pkgs/roulette/example/disrupt/core.rkt:151:0: query-fn
   /home/root/user/.local/share/racket/9.2/pkgs/roulette/test/dice.rkt:19:0: check-program
   body of (submod "/home/root/user/.local/share/racket/9.2/pkgs/roulette/test/dice.rkt" test)
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/disrupt.rkt") test)
raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/rsdd.rkt") test)
raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/roulette/test/util.rkt")
disrupt.rkt: racket test: timeout after 90 seconds
3/11 test failures
  7 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/rsdd.rkt
  1 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bentham.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/example/bentham.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/example/bn.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/example/dice.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/example/disrupt/core.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/example/disrupt/safe.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/example/disrupt.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/info.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/bentham.scrbl
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/bn.scrbl
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/dice.scrbl
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/disrupt.scrbl
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/engines.scrbl
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/examples.scrbl
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/label.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/reference.scrbl
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/scribblings/roulette.scrbl
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/alarm.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/cancer.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/hailfinder.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/hepar2.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/insurance.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/munin.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/pigs.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/survey.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn/water.rkt
  0 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/util.rkt
1 1 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/bn.rkt
1 1 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/dice.rkt
1 1 /home/root//user/.local/share/racket/9.2/pkgs/roulette/test/disrupt.rkt
The time is now Sun, 9 Aug 2026 22:44:01 +0000