("7.2" racket ("6932af3877772146854304d1bae76f5e10b1d2e5" . "df5e9d716e1378bbc89e574ec2ac3a50151532dc") (collects #"racket" #"control.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
