("6.12" ("33d2f232231204bf8c24f0f32018d42048d75bda" . "0a460d795224877d9fcfb94ce421e2be891387da") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt"))
