("6.12" ("39c2ea5606e1e164d578e53d9a31d3c11892b5fb" . "523c239d31ee174a9bfae654fa406d0160ba7f93") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
