("5.0.1.5" ("d94876509ab89f99af4670fa65211791a95cd5c7" . "e117182938c287eed11d926f5680cda4840b225f") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"embedded-gui" #"private" #"interface.rkt") (collects #"embedded-gui" #"private" #"aligned-pasteboard.rkt") (collects #"embedded-gui" #"private" #"verthoriz-alignment.rkt") (collects #"embedded-gui" #"private" #"grid-alignment.rkt") (collects #"embedded-gui" #"private" #"snip-wrapper.rkt") (collects #"embedded-gui" #"private" #"on-show-editor.rkt") (collects #"embedded-gui" #"private" #"button-snip.rkt") (collects #"embedded-gui" #"private" #"embedded-message.rkt") (collects #"embedded-gui" #"private" #"fixed-width-label-snip.rkt") (collects #"embedded-gui" #"private" #"lines.rkt") (collects #"embedded-gui" #"private" #"stretchable-editor-snip.rkt") (collects #"embedded-gui" #"private" #"tabbable-text.rkt") (collects #"embedded-gui" #"private" #"grey-editor.rkt") (collects #"embedded-gui" #"private" #"single-line-text.rkt") (collects #"embedded-gui" #"private" #"cue-text.rkt") (collects #"embedded-gui" #"private" #"snip-lib.rkt"))
