("5.3" ("b8eec3f0698cc16491bf5ebd3fd89c35b249f838" . "f16014ca2bdb03e469b83bcec6b965e26c6aee84") (collects #"racket" #"contract.rkt") (collects #"scribble" #"eval.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
