("7.2" racket ("d2a2b03d121fa1f3efdcfc33e3a2bcda438683ab" . "18d61058a9276793f540268fe2be6e125a82283a") (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"))
