("6.12" ("4409982cb01f4ffc4585a0f97109eeeb0af7e3d7" . "7adad98f604a72e22049e9901d12d11df5fb862a") (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"))
