("6.12" ("07982ea51b1b172fe4df485f2e8eac5034be30e8" . "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"))
