("7.2" racket ("4409982cb01f4ffc4585a0f97109eeeb0af7e3d7" . "a059d4dd7c748698d0873798a868053465157f52") (collects #"racket" #"contract" #"base.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"struct.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"syntax" #"kerncase.rkt"))
