("5.0.1.5" ("88c7d4163da801ef2c6cdcad03096ed5fb263b22" . "09db8e1dca5695eb35561b1c10511a47dd0ec683") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
