("6.12" ("d5acd262462c8e72d224cc0b21fe3723c09df19a" . "c716748f77656cc950b44136d2ca220ef143c57b") (collects #"racket" #"fixnum.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
