("7.2" racket ("4a17db194f9c70eb35e0fad24f5c09f1e500661d" . "8208e0495225c1d1ed444c57bfd1946ce5d4ca19") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"guide" #"cmdline.scrbl") (collects #"scribblings" #"guide" #"guide-utils.rkt"))
