("9.3" ta6le ("99fe59be67833442e0524870bad6719ffebe9af7" . "24f154ed0ebbb8ae773724cfa56bb87c7385217c") (collects #"embedded-gui" #"private" #"aligned-pasteboard.rkt") (collects #"embedded-gui" #"private" #"button-snip.rkt") (collects #"embedded-gui" #"private" #"cue-text.rkt") (collects #"embedded-gui" #"private" #"embedded-message.rkt") (collects #"embedded-gui" #"private" #"fixed-width-label-snip.rkt") (collects #"embedded-gui" #"private" #"grey-editor.rkt") (collects #"embedded-gui" #"private" #"grid-alignment.rkt") (collects #"embedded-gui" #"private" #"interface.rkt") (collects #"embedded-gui" #"private" #"lines.rkt") (collects #"embedded-gui" #"private" #"on-show-editor.rkt") (collects #"embedded-gui" #"private" #"single-line-text.rkt") (collects #"embedded-gui" #"private" #"snip-lib.rkt") (collects #"embedded-gui" #"private" #"snip-wrapper.rkt") (collects #"embedded-gui" #"private" #"stretchable-editor-snip.rkt") (collects #"embedded-gui" #"private" #"tabbable-text.rkt") (collects #"embedded-gui" #"private" #"verthoriz-alignment.rkt") (collects #"mzscheme" #"main.rkt"))
