("8.15" tarm32nb ("5bd7add363a1a6680c0e6204b7c0de3b877644bc" . "e5924cca45635dbe54377416acb9954dc1088a57") (collects #"help" #"search.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") (collects #"scribblings" #"tools" #"common.rkt") (collects #"scribblings" #"tools" #"tool-lib-extracts.rkt"))
