("8.15" tarm32nb ("acee5e1b60d5958fc763df4c4bb4012c97608a02" . "8a80950edc52c5b95d34f41bcd5c898df45e5619") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribblings" #"private" #"docname.rkt"))
