("5.3.1" ("b8eec3f0698cc16491bf5ebd3fd89c35b249f838" . "2db4faaaa9ff80de6771ab83c5998a6fadc5f3ce") (collects #"scribble" #"manual" #"lang.rkt") (collects #"racket" #"contract.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
