("7.2" racket ("eeb899f0fb2461a1e86311777dbc50e27d348f8e" . "8454e687f0ba1d5542c2078245204c16d9157820") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
