("6.12" ("d2a2b03d121fa1f3efdcfc33e3a2bcda438683ab" . "d12d388b951767c0f2c4b8dfd1f4c5e4dd56bff9") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"setup" #"dirs.rkt"))
