("5.0.1.5" ("ee8d58fa547960660a9de5cd07c6c11b671e4be0" . "e5cc9dc720d4c46f0dd9f928ae15b779539bb590") (collects #"scheme" #"base.rkt") (collects #"texpict" #"mrpict.rkt") (collects #"scheme" #"gui" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
