("6.12" ("95efaa756fa8b7680b33a28fd3367a0abd5c23ef" . "be033b2050515d66c08d5c1870a2cde4818a1267") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"set.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
