("5.3" ("c42ad70cb62bc8a2700830e91ff51f549fb83cc5" . "b458f20ba603e05d757b67b90a0fe033e13835bd") (collects #"scribble" #"eval.rkt") (collects #"scribblings" #"guide" #"proc-macros.scrbl") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"pattern-macros.scrbl") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
