("5.0.1.5" ("1bc36e8a7d7d68760334de33b1123a41e3a717c5" . "b13c1f59bc8784325e8aa4a8d8938e2692a127d7") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"framework" #"splash.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
