("5.0.1.5" ("0313920e06b6a8d9618f8a02a8df82da20535114" . "1e2ca775e78cbe2e4a7f1a03abf36d1651bdf98b") (collects #"racket" #"unit" #"lang.rkt") (collects #"string-constants" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"framework" #"private" #"sig.rkt") (collects #"framework" #"preferences.rkt") (collects #"framework" #"gui-utils.rkt") (collects #"mred" #"mred-sig.rkt") (collects #"mzlib" #"list.rkt") (collects #"scheme" #"path.rkt") (collects #"scheme" #"unit" #"lang" #"reader.rkt"))
