("5.3.6" ("570cd6cdff2fd9afc86f5b1b91ef05de36f600a4" . "921aa178a6383b1a96a0d459a73ad05bf8ef8f87") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribblings" #"guide" #"cmdline.scrbl") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
