("5.0.1.5" ("ee393f97e3e70b768108c7b53015b79826a01b4d" . "57e75b93cd206e1be540ff38f3410fc79607dc94") (collects #"syntax" #"strip-context.rkt") (collects #"scribble" #"doclang.rkt") (collects #"syntax" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
