("7.2" racket ("36aebce3a8d8076bdec3e4b654dc392299fe64f2" . "1b5fad7a80c530914063d2645aea508399e59db5") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribblings" #"style" #"shared.rkt"))
