("5.0.1.5" ("b860c03df8e533cf66f8d766f113df48652e2ed1" . "a77e1a811bec7e4c4c89039e30902ca0915d4f36") (collects #"scribble" #"doclang.rkt") (collects #"embedded-gui" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
