("7.2" racket ("a55436d49c6469ca509b1ed6b83c8c1ebc0b3cac" . "133a1582d05805d15def1825b012bb9c142eae7e") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"system.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
