("5.0.1.5" ("1c197a065968f10539a3d376b21e0cbebfd048cc" . "36f3eaa48f0ead88f45ba8d58c7f294c8560a1e7") (collects #"scheme" #"gui.rkt") (collects #"scheme" #"unit.rkt") (collects #"scheme" #"class.rkt") (collects #"framework" #"main.rkt") (collects #"drscheme" #"tool.rkt") (collects #"browser" #"external.rkt") (collects #"string-constants" #"main.rkt") (collects #"version" #"patchlevel.rkt") (collects #"version" #"check.rkt") (collects #"scheme" #"gui" #"lang" #"reader.rkt"))
