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