("5.0.1.5" ("7f2ab36e6bd8e6701add3e317ca402f1a59ba3ca" . "c405169dccc24e161b27ea26004b21a85c9abb23") (collects #"framework" #"main.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 #"scribble" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"extract.rkt") (collects #"scheme" #"include.rkt") (collects #"scribblings" #"framework" #"main-extracts.rkt") (collects #"scheme" #"base.rkt") (collects #"framework" #"private" #"mapdesc.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (ext collects #"scribblings" #"framework" #"standard-menus.scrbl"))
