("5.0.1.5" ("bf434530cf7daab0e70517a1fbeb8ef39ced77be" . "998cf618af67c90e61416e93e3fb2d763cf10017") (collects #"framework" #"main.rkt") (collects #"scribble" #"doclang.rkt") (collects #"embedded-gui" #"scribblings" #"common.rkt") (collects #"embedded-gui" #"scribblings" #"containers.scrbl") (collects #"embedded-gui" #"scribblings" #"controls.scrbl") (collects #"embedded-gui" #"scribblings" #"control-snips.scrbl") (collects #"embedded-gui" #"scribblings" #"snip-procs.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
