("5.0.1.5" ("8058fb2173687f42cc91be743be7deeeab03cff0" . "b87318bcdf9bdbde9dca22f2bdafd9eaf9a98626") (collects #"scheme" #"gui.rkt") (collects #"plai" #"private" #"gc-core.rkt") (collects #"scheme" #"gui" #"lang" #"reader.rkt"))
