("5.0.1.5" ("6234047f9f5e1e2a1ab9b052b70dcfd70e6792cf" . "a539e6aff5e2d4ced9eca34ff7a7cbfef8cc9e19") (collects #"syntax" #"flatten-begin.rkt") (collects #"scribble" #"doclang.rkt") (collects #"syntax" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
