("5.0.1.5" ("137f464b7a6655e57cd36669fe9c485c5742349d" . "6aa66353cb520a4e81bf78a7e57951d5123578bc") (collects #"scribble" #"doclang.rkt") (collects #"embedded-gui" #"scribblings" #"common.rkt") (collects #"embedded-gui" #"scribblings" #"snip-wrapper.scrbl") (collects #"embedded-gui" #"scribblings" #"text-button-snip.scrbl") (collects #"embedded-gui" #"scribblings" #"button-snip.scrbl") (collects #"embedded-gui" #"scribblings" #"toggle-button-snip.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
