("8.15" tarm32nb ("46f74bd638191742f0aa95a6724fb84acae7e882" . "e05790b25225a6667bc5869f6b65faec3c1c99a3") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"private" #"manual-defaults.rkt"))
