("8.15" tarm32nb ("5cc5049de9f94a466a036ca365965aab9d748189" . "3250dc159bebc1be0c23f9d83411d2077c16cb31") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"manual.rkt"))
