("8.15" ti3nb ("194b1e0cb632e1a74e5b5f3ce419d36e5c46d60d" . "00faf6fe429bd5e8ed5fac16e73dac489ab29b75") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"config.rkt") (collects #"racket" #"promise.rkt") (collects #"racket" #"runtime-config.rkt"))
