("5.3" ("570cd6cdff2fd9afc86f5b1b91ef05de36f600a4" . "4ccbf427de61afaa13a1163b8a5f90f3bbb765c5") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribblings" #"guide" #"cmdline.scrbl") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
