("8.15" tarm32nb ("c57e4a1ae010c0b48be0e4c6472ff85ad48ce76b" . "392203504ed3e9baea92b2f5a85b9c3c09f4435a") (collects #"help" #"search.rkt") (collects #"net" #"sendurl.rkt") (collects #"net" #"uri-codec.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"path.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"manual-struct.rkt") (collects #"scribble" #"xref.rkt") (collects #"setup" #"xref.rkt"))
