("7.2" racket ("1175ea658c81eae4dbb04fcd1ed4a7a74ccd43d3" . "73d9e7eebc7deb6537745685ca3752188effcd8a") (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"))
