("7.2" racket ("d1e20a21f3bedecd6968642fc0ec153555dc12a1" . "32dd9ac8660a94717fa32b9eea7c4289cc75c1be") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"eval-model.scrbl") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribblings" #"reference" #"printer.scrbl") (collects #"scribblings" #"reference" #"reader.scrbl") (collects #"scribblings" #"reference" #"syntax-model.scrbl"))
