("5.0.1.5" ("527f1ce2e657f69d7877a954c39e0519667d4280" . "72de5cd7aa6211619ac1e6188136dcf73bb6e968") (collects #"racket" #"unit" #"lang.rkt") (collects #"mzlib" #"class.rkt") (collects #"string-constants" #"main.rkt") (collects #"framework" #"private" #"sig.rkt") (collects #"framework" #"preferences.rkt") (collects #"framework" #"gui-utils.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mred" #"mred-sig.rkt") (collects #"scheme" #"path.rkt") (collects #"scheme" #"unit" #"lang" #"reader.rkt"))
