("6.12" ("dd55a7e57209053eadca0f5c154deaba5c140a6d" . "1b1d1c0b8a52495b61878d95a7a458396de3eb50") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"trace.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
