("7.2" racket ("f214144465cf899d136a8c9187351d1bfccbd8f2" . "218bfc57a1c26dd6e76b9a3fafb08cccbc822f8d") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"trace.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
