("7.2" racket ("0dc6875f5d7ff805bc5394485e3bbb3f8c488369" . "6f9a455bb09c8be906b96ca1dcf4a325b368b326") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"inside" #"utils.rkt"))
