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