("7.2" racket ("4448ce38307e9b8acef2bddcdaa7778ddb80cede" . "c1fb3a5b04c5e163032c577c641e08faad05a9da") (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" #"guide" #"quick.scrbl") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
