("8.15" tarm32nb ("5040d6afb43ea7b8c644651d2067992fbf896007" . "e3b3103694bb4b65b0fe6afab7dc7b57b012d942") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribble" #"struct.rkt"))
