("7.2" racket ("eeb899f0fb2461a1e86311777dbc50e27d348f8e" . "20a740fdec23959e9d2d3eb6d11549a8dc713160") (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"))
