("6.12" ("f9c55aefdeae320674549212a442fcfc60ec548f" . "873210af6d745fb4ff34b022d9bf5658caa88aaa") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"guide" #"cmdline.scrbl") (collects #"scribblings" #"guide" #"guide-utils.rkt"))
