("5.0.2" ("2cde4f00e7e8886f6480b44b55301bee517351a4" . "6cf5134d37ba0242ae8d237a58720734d9d52bff") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"gui" #"common.rkt") (collects #"scribblings" #"gui" #"win-overview.scrbl") (collects #"scribblings" #"gui" #"draw-overview.scrbl") (collects #"scribblings" #"gui" #"editor-overview.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
