("5.0.1.5" ("cffb967e22f95e58fbdcfb7fbaa93b53fa894d07" . "6aeefa814c916e2a594e1c03055d38c799d1e9ab") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
