("5.3.1" ("2364b6608c901d4f8b6f915b3f3b6e24ea4cb4ed" . "e6cee116b7672c8417b7799a969115ee2916109e") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"eval.rkt") (collects #"syntax" #"parse.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
