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