("5.3.6" ("4409982cb01f4ffc4585a0f97109eeeb0af7e3d7" . "9a370cd4f8b6c73fca4921c0b3f6131a742eac9e") (collects #"scheme" #"class.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"struct.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"scheme.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
