("8.15" tarm32nb ("5b9fb8cf04bff9ab963a3fd8ad2196c35f2ca586" . "b15188cf1ed0589b92f71300e39d484f3e8a38ad") (collects #"file" #"gunzip.rkt") (collects #"file" #"untar.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt"))
