("7.2" racket ("1175ea658c81eae4dbb04fcd1ed4a7a74ccd43d3" . "dd8816e1acc308b3415aa8912cc5162d1844ab51") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt"))
