("5.0.1.5" ("b4d85d0bd9776c58f9b0fafd7a8be3282f277ca2" . "f11e0f42bb9d1232072b48ccfda4c906d87948b3") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"file.rkt") (collects #"scheme" #"gui" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
