("5.3.1" ("570cd6cdff2fd9afc86f5b1b91ef05de36f600a4" . "07acc10c9fe673e6fa562405fe2191cc87c2a2c5") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribblings" #"guide" #"cmdline.scrbl") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
