("7.2" racket ("3f9a76e5e90857cfc71f4a975cc77e4f8a411187" . "bf11de451fe15a7b6dca053dcbf04a9cd68b2daf") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"format.scrbl") (collects #"scribblings" #"reference" #"mz.rkt"))
