("5.0.1.5" ("7bfbd255e59f6e2b6436cd88b454531662c1f212" . "eacf301d91f7e69d493eaae1543301d83a974873") (collects #"racket" #"unit" #"lang.rkt") (collects #"string-constants" #"main.rkt") (collects #"scheme" #"class.rkt") (collects #"mzlib" #"include.rkt") (collects #"framework" #"private" #"search.rkt") (collects #"framework" #"private" #"sig.rkt") (collects #"framework" #"preferences.rkt") (collects #"framework" #"gui-utils.rkt") (collects #"framework" #"private" #"bday.rkt") (collects #"mrlib" #"close-icon.rkt") (collects #"mred" #"mred-sig.rkt") (collects #"scheme" #"path.rkt") (collects #"scheme" #"unit" #"lang" #"reader.rkt") (ext collects #"framework" #"private" #"standard-menus.rkt"))
