("5.0.1.5" ("298645029c45982a3a822bfe97225de909d8e3ea" . "71f8e0eee5c9d43d0c2c7b504a2c2ef08b0303fe") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
