("5.0.1.5" ("aef34e7c75fe027f013e875f9e0ac2239564079a" . "14ce7e166dcfc81656186104d501f80589e48ead") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"framework" #"main.rkt") (collects #"drracket" #"private" #"syncheck" #"intf.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
