("7.2" racket ("4a17db194f9c70eb35e0fad24f5c09f1e500661d" . "7731a902775b5f02f1e496b38c4979f6ffe0ea47") (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"))
