("5.0.1.5" ("400ad23b53e850e03ed1a90bbd9654e7d36bc915" . "168586b6788e9fe93c4cdfe6482e8f1aa79b6d0a") (collects #"racket" #"base.rkt") (collects #"framework" #"main.rkt") (collects #"unstable" #"gui" #"prefs.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
