("7.2" racket ("3f9a76e5e90857cfc71f4a975cc77e4f8a411187" . "8e26a03df5264370eed7576f2a1233dc51c62d37") (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"))
