("8.15" tarm32nb ("5c4819768ec25f7c8347de7b8e2d2f3ee853f407" . "97d24c9b54140d7b7eb58c28ce2498fb528eb920") (collects #"file" #"resource.rkt") (collects #"file" #"scribblings" #"common.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt"))
