("7.2" racket ("d2a2b03d121fa1f3efdcfc33e3a2bcda438683ab" . "1c85016e55474ba8ac80454fa200cec9150ec6ef") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"setup" #"dirs.rkt"))
