("6.12" ("cf97d678a296c8ef5d89a3828341ba2e7305af9b" . "e5d3f91b009cd767a935a63072cf6d2dcf13402e") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"guide" #"quick.scrbl") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
