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