("8.15" tarm32nb ("3f4d54d065039c1955ea7913cf334db59636985f" . "dcc65eafab0ae2d567850d6aaf6f8d65601c51a8") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt"))
