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