("8.15" ti3nb ("37bef4391e121bec9564a838ab00ef7a79655bb9" . "da079cb7818e25f2020cf1da0b449bd080c5eee3") (collects #"file" #"gzip.rkt") (collects #"net" #"base64.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"system.rkt") (collects #"setup" #"getinfo.rkt"))
