("7.2" racket ("51dfc9a4a55f9d5218a98067d99f21fbae7bc15e" . "9bf7e64b42daaeb4993089b7483e4659133361ae") (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"))
