("6.12" ("9ef72a7300fbdc469a0be034ae19823570110f26" . "c5f33b1f5e70e4b2839df2cf2fb8858646ea1221") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"scribblings" #"guide" #"dollar.rkt") (collects #"syntax" #"module-reader.rkt"))
