("5.0.1.5" ("5eca28c9250f20996204c6e9b026bd065d4bc25d" . "a3a5d188b7c13645abc5b51bb648d8b273ab9ba4") (collects #"racket" #"unit" #"lang.rkt") (collects #"string-constants" #"main.rkt") (collects #"framework" #"private" #"sig.rkt") (collects #"framework" #"preferences.rkt") (collects #"framework" #"gui-utils.rkt") (collects #"mred" #"mred-sig.rkt") (collects #"scheme" #"unit" #"lang" #"reader.rkt"))
