("5.0.1.5" ("c100ef9d23cd9bf45880c907aaf6c417ad04c653" . "ea81e0cd32c68646c927cc69c75e0fab3ebe6d1b") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"port.rkt") (collects #"scheme" #"file.rkt") (collects #"mred" #"private" #"syntax.rkt") (collects #"mred" #"private" #"wxme" #"const.rkt") (collects #"mred" #"private" #"wxme" #"private.rkt") (collects #"mred" #"private" #"wxme" #"editor.rkt") (collects #"mred" #"private" #"wxme" #"undo.rkt") (collects #"mred" #"private" #"wxme" #"style.rkt") (collects #"mred" #"private" #"wxme" #"snip.rkt") (collects #"mred" #"private" #"wxme" #"snip-flags.rkt") (collects #"mred" #"private" #"wxme" #"snip-admin.rkt") (collects #"mred" #"private" #"wxme" #"keymap.rkt") (collects #"mred" #"private" #"wxme" #"cycle.rkt") (collects #"mred" #"private" #"wxme" #"wordbreak.rkt") (collects #"mred" #"private" #"wxme" #"stream.rkt") (collects #"mred" #"private" #"wxme" #"wx.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
