("6.12" ("c32b5640b5401c9b8a91b2a1c1fa280b1496283c" . "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"))
