("8.15" tarm32nb ("c5d64dc0058fcb17d57fffbe667a6f9564ed227c" . "df856a26266d40c6d4af71994a9e2f7a28037aad") (collects #"mrlib" #"scribblings" #"aligned-pasteboard" #"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"))
