("7.2" racket ("2ab23e1191852b92ae654f481726fe69e328e265" . "f640f507c8635addd4f19ca00338efca58cdef5b") (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"))
