("8.15" tarm32nb ("bca4295f71666ddc7b4a21f39d768bf2b130b21f" . "f93a557a6e507455891150842bdb85461120de7c") (collects #"file" #"md5.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt"))
