("6.12" ("1175ea658c81eae4dbb04fcd1ed4a7a74ccd43d3" . "e639290a89c9345af114c418d5e0d0bdba4e08d6") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt"))
