("8.15" tarm32nb ("26db5bc1eae85d0c18974132be1efd9a52fab822" . "819565abd1afab941f5fe793e74a3efc3a4c2536") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"scribble" #"private" #"manual-utils.rkt") (collects #"scribble" #"private" #"on-demand.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"search.rkt") (collects #"scribble" #"struct.rkt"))
