("8.15" tarm32nb ("6d67d5d0e05c825a2b5ef4031c88755134f536e5" . "e79acf79a5364d930f3a158a59de1ecc3e920d6d") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual-struct.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"syntax" #"quote.rkt") (collects #"version" #"utils.rkt"))
