("5.3.1" ("2364b6608c901d4f8b6f915b3f3b6e24ea4cb4ed" . "9d96cd4d694783a2599f5cfb0d21183030d47239") (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"))
