("6.12" ("e37ab0be778d3d8270ecc2139e25a084f5a4db9a" . "de7f3cdf29b039c44df8c397664d5e6037cc274b") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribblings" #"guide" #"named-let.scrbl"))
