("5.3" ("f21fd9bee6063d84dac2ccfd3a11d282707a8867" . "3ed7aedcfc024c2b1a0d379bf8d6f0ad9f8928d9") (collects #"racket" #"contract" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scribble" #"struct.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scheme" #"base.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
