("8.15" tarm32nb ("3a661d8092725b3a2db797cd84bc0fa0db8e5651" . "1e04a5427f641dcdc7ef33e6e31cf583207819c0") (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 #"syntax" #"scribblings" #"common.rkt") (collects #"syntax" #"strip-context.rkt"))
