("5.0.1.5" ("5d99df0572d3e2ae8bcaf9f7e3d7215928b4127e" . "82e9b3d06f1141e1caf0b443a3664a2398111ab3") (collects #"racket" #"base.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"drracket" #"private" #"key.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
