("8.15" tarm32nb ("7fc4a5dd335058c09957f21af13afcffefb244ec" . "12fc993931cb6aa2d76370ce7eb6f4b753dcb636") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"manual.rkt"))
