("5.3.1" ("b8eec3f0698cc16491bf5ebd3fd89c35b249f838" . "c92d79cd3f13002b47f59a0ebecc6aa7f30268e9") (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"))
