The time is now Sun, 11 Jan 2026 07:24:53 -0600
(/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 termination)
Resolved "termination" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "c5cba4465001d29909dc3e4da3db2de617ee29e4") (dependencies . (("profile-lib") ("r5rs-lib") ("rackunit-lib") ("base") ("typed-racket-lib") ("typed-racket-more") ("bnf") ("set-extras") ("unreachable") ("traces"))) (description . "Dynamic enforcement of size-change termination") (modules . ((lib "termination/tests/Dyn/benchmarks/cm/interp-sum.rkt") (lib "termination/tests/Dyn/nfa.rkt") (lib "termination/tests/Dyn/isabelle-poly.rkt") (lib "termination/tests/Dyn/benchmarks/imp/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt") (lib "termination/tests/Dyn/benchmarks/common.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-map.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-gcd.rkt") (lib "termination/flow-analysis/utils.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-3.rkt") (lib "termination/tests/Dyn/isabelle-bar.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-merge.rkt") (lib "termination/flow-analysis/analyze.rkt") (lib "termination/tests/Dyn/benchmarks/cm/sum.rkt") (lib "termination/flow-analysis/main.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-5.rkt") (lib "termination/tests/Dyn/buggy-versions/nfa.rkt") (lib "termination/runtime-utils.rkt") (lib "termination/tests/Dyn/sct-5.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-2.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-tfact.rkt") (lib "termination/tests/Dyn/deriv.rkt") (lib "termination/tests/Dyn/isabelle-f.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-sum.rkt") (lib "termination/tests/Dyn/benchmarks/imp/fact.rkt") (lib "termination/tests/Dyn/destruct.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-6.rkt") (lib "termination/flow-analysis/lang.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-foo.rkt") (lib "termination/flow-analysis/parse.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt") (lib "termination/tests/Dyn/buggy-versions/destruct.rkt") (lib "termination/tests/Dyn/sct-6.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-perm.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-f.rkt") (lib "termination/tests/Dyn/acl2-fig-2.rkt") (lib "termination/tests/Dyn/sct-2.rkt") (lib "termination/syntax-utils.rkt") (lib "termination/tests/Dyn/lh-merge.rkt") (lib "termination/tests/Dyn/dderiv.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-poly.rkt") (lib "termination/tests/Dyn/isabelle-foo.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-range.rkt") (lib "termination/unsafe-apply-with-termination.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt") (lib "termination/tests/Dyn/lh-range.rkt") (lib "termination/tests/Dyn/sct-1.rkt") (lib "termination/tests/Dyn/acl2-fig-6.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt") (lib "termination/tests/Dyn/sct-4.rkt") (lib "termination/tests/Dyn/buggy-versions/deriv.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-1.rkt") (lib "termination/tests/Dyn/div.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt") (lib "termination/tests/Dyn/lh-map.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-bar.rkt") (lib "termination/tests/Dyn/ho-sct-ack.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-4.rkt") (lib "termination/tests/Dyn/ho-sct-fold.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt") (lib "termination/tests/Dyn/sct-3.rkt") (lib "termination/unsafe.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/fact.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt") (lib "termination/tests/Dyn/buggy-versions/dderiv.rkt") (lib "termination/tests/Dyn/lh-gcd.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt") (lib "termination/tests/Dyn/buggy-versions/div.rkt") (lib "termination/micro-benchmarks.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt") (lib "termination/tests/Dyn/benchmarks/imp/mergesort.rkt") (lib "termination/tests/Dyn/acl2-fig-7.rkt") (lib "termination/test.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-fact.rkt") (lib "termination/tests/Dyn/lh-tfact.rkt") (lib "termination/main.rkt") (lib "termination/size-change-graph.rkt") (lib "termination/tests/Dyn/buggy-versions/scheme.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-fact.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt") (lib "termination/flattened-parameter.rkt") (lib "termination/tests/Dyn/scheme.rkt") (lib "termination/tests/Dyn/benchmarks/cm/fact.rkt") (lib "termination/apply-with-termination.rkt") (lib "termination/tests/Dyn/benchmarks/cm/mergesort.rkt") (lib "termination/tests/Dyn/isabelle-perm.rkt") (lib "termination/tests/Dyn/ho-sct-fg.rkt"))) (name . "termination") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/termination.zip") (tags . ("contracts" "termination")))
00: Resolved "bnf" via file:///home/root//catalogs/archive/catalog
00: Resolved "set-extras" via file:///home/root//catalogs/built/catalog
01: Resolved "unreachable" via file:///home/root//catalogs/built/catalog
Resolved "traces" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "c4dd8cca6429977d39e2241adb63f7b0e16bd221") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("typed-struct-props"))) (description . "Concise Typed Racket syntax for declaring recursive data in BNF") (modules . ((lib "bnf/main.rkt") (lib "bnf/tests.rkt"))) (name . "bnf") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/bnf.zip") (tags . ("bnf" "data" "grammar" "typed-racket")))
pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "47036d9ad73c34a6ff981bcb007a418af4bf0b78") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more"))) (description . "Some conveniences for set, including fancy unicode aliases and more comprehension forms") (modules . ((lib "set-extras/tests.rkt") (lib "set-extras/main.rkt"))) (name . "set-extras") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/set-extras.zip") (tags . ("set" "typed-racket" "unicode")))
pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "88b55acf992b1e4c17efe07c35a2aa7e7ccd45a0") (dependencies . (("base"))) (description . "Utilities for expressing supposedly unreachable code") (modules . ((lib "unreachable/main.rkt") (lib "unreachable/test.rkt"))) (name . "unreachable") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/unreachable.zip") (tags . ("absurd" "case" "cond" "dead-code" "unreachable")))
pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "97d15a2dbecfc2c83a420a1f557fde7a52d25b70") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("redex-gui-lib"))) (description . "Tracing utilities for functions and hash-tables, similar to `traces` from `redex`") (modules . ((lib "traces/typed.rkt") (lib "traces/test.rkt") (lib "traces/main.rkt"))) (name . "traces") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/traces.zip") (tags . ("debugging" "graph" "traces")))
Resolved "typed-struct-props" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "racket.suzanne.soy@suzanne.soy") (checksum . "5512b7f4c9dff6b2be445435b86babfc9b189fc8") (dependencies . (("base") ("rackunit-lib") ("typed-racket-lib") ("typed-racket-more") ("type-expander") ("scribble-lib") ("racket-doc") ("typed-racket-doc"))) (description . "Some struct type properties in Typed/Racket, in a more type-safe way.\r\n\r\nThe API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.") (modules . ((lib "typed-struct-props/test/test-after.rkt") (lib "typed-struct-props/test/test-write-poly.rkt") (lib "typed-struct-props/main.rkt") (lib "typed-struct-props/scribblings/typed-struct-props.scrbl") (lib "typed-struct-props/test/test-equal+hash.rkt") (lib "typed-struct-props/test/test-equal+hash-poly.rkt") (lib "typed-struct-props/test/test-none.rkt") (lib "typed-struct-props/test/test-write.rkt") (lib "typed-struct-props/test/test-parent.rkt") (lib "typed-struct-props/test/test-write+equal+hash-poly.rkt") (lib "typed-struct-props/test/test-none-poly.rkt") (lib "typed-struct-props/test/test-write+equal+hash.rkt") (lib "typed-struct-props/test/test-child.rkt") (lib "typed-struct-props/test/test-poly.rkt"))) (name . "typed-struct-props") (ring . 1) (source . "https://gitea.suzanne.soy/suzanne.soy/typed-struct-props.git#main") (tags . ("structs" "typed-racket")))
pkg: 		Downloading https://gitea.suzanne.soy/suzanne.soy/typed-struct-props.git#main to /var/tmp/17681379321768137932841-suzanne_soy_typed-struct-props_git_main
Downloading repository https://gitea.suzanne.soy/suzanne.soy/typed-struct-props.git#main commit 5512b7f4c9dff6b2be445435b86babfc9b189fc8
pkg: Contacting gitea.suzanne.soy
pkg: Network error; retrying after 0.1s
pkg: Contacting gitea.suzanne.soy
pkg: Network error; retrying after 0.2s
pkg: Contacting gitea.suzanne.soy
pkg: Network error; retrying after 0.4s
pkg: Contacting gitea.suzanne.soy
pkg: Network error; retrying after 0.8s
pkg: Contacting gitea.suzanne.soy
pkg: Network error; retrying after 1.6s
pkg: Contacting gitea.suzanne.soy
tcp-connect: host not found
  hostname: gitea.suzanne.soy
  port number: 443
  system error: Temporary failure in name resolution; gai_err=-3
  context...:
   /home/root/racket/collects/openssl/mzssl.rkt:1736:0: do-ssl-connect
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   /home/root/racket/collects/net/http-client.rkt:70:0: http-conn-open!
   /home/root/racket/collects/net/http-client.rkt:356:0: http-conn-open
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   /home/root/racket/collects/net/url.rkt:201:0: http://getpost-impure-port
   /home/root/racket/collects/net/url.rkt:304:0: get-pure-port/headers
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   /home/root/racket/collects/net/git-checkout.rkt:247:0: initial-connect
   /home/root/racket/collects/net/git-checkout.rkt:55:2: retry-loop
GC: 0:atexit peak 112,712K(+41,243K); alloc 296,843K; major 1; minor 34; 5081ms
The time is now Sun, 11 Jan 2026 07:25:38 -0600