("5.0.1.5" ("e5bb1bb6029d0af52773c21fea829727d1257fdb" . "a83699e620087943916c130748cc80db152199e1") (collects #"scheme" #"base.rkt") (collects #"scheme" #"gui" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"list.rkt") (collects #"net" #"gifwrite.rkt") (collects #"scheme" #"contract.rkt"))
