("6.12" ("a9b3d8ae2d90d46eff328edaa51fe22d35982339" . "8175a9b76565b7d8454f7e745af498750c021e4b") (collects #"racket" #"runtime-config.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"))
