("6.12" ("a95f3cd7e45c0dfd6e3d375af8c6f14a3237c23c" . "205fe2642d9e816721b14ef5668aec074e83d20d") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"manual.rkt"))
