("7.2" racket ("db6db874332e3b169c636acbd3a250136c746ea8" . "32afd22ddcf329a60a0397f0cf28c449e626126e") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"inside" #"utils.rkt"))
