("6.12" ("601d5a3c3ad1a86e1471e08baeebe679d5a6868c" . "f4e85225647a2f3c2af9dc31fdaddaa887e4f88d") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"example.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
