("7.2" racket ("51dfc9a4a55f9d5218a98067d99f21fbae7bc15e" . "b638399d7308c14e59ab24abd59027da4b316420") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"struct.rkt"))
