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