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