("5.0.1.5" ("e13f33fde6557b4e63e798c55a2c39402b0cc1bd" . "681e3e8e91da6d420318456c56e255a5a93b3f9f") (collects #"scheme" #"base.rkt") (collects #"scheme" #"gui.rkt") (collects #"mred" #"mred-unit.rkt") (collects #"mred" #"mred-sig.rkt") (collects #"framework" #"framework-unit.rkt") (collects #"framework" #"private" #"sig.rkt") (collects #"scribble" #"srcdoc.rkt") (collects #"framework" #"preferences.rkt") (collects #"framework" #"test.rkt") (collects #"framework" #"gui-utils.rkt") (collects #"framework" #"decorated-editor-snip.rkt") (collects #"framework" #"private" #"decorated-editor-snip.rkt") (collects #"scheme" #"gui" #"lang" #"reader.rkt") (collects #"at-exp" #"lang" #"reader.rkt"))
