("7.2" racket ("7812bd93e9f98d43880066b96dcf06e52b231979" . "b32d5d9dc3c31e9a3be5b859ae90473a5e028659") (collects #"racket" #"cmdline.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
