("8.15" tarm64nt ("37bef4391e121bec9564a838ab00ef7a79655bb9" "c84769ab2b4e448797a6f74bf82d6a5f6d40deac" . "16280854d1cd75531b39327bbbef59f6bd64a34c") (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"))
