("5.0.1.5" ("252e26e40e24e04c8c06c0e7db1043fda1d3d4dc" . "e8619e8f6e459c4301968f8a6b52bbe422058d7f") (collects #"scheme" #"base.rkt") (collects #"scheme" #"gui" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
