("5.3" ("2364b6608c901d4f8b6f915b3f3b6e24ea4cb4ed" . "d1ead3eb0f0bab5d88d21d3bcb880373a92df3ca") (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"))
