("5.0.1.5" ("2177d20ac7a2e2a54ddefc91da958a3a3d642975" . "16f6b335adfd622462fe3d3f6bc0f25fe83b3b3f") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"framework" #"main.rkt") (collects #"macro-debugger" #"syntax-browser" #"prefs.rkt") (collects #"macro-debugger" #"syntax-browser" #"controller.rkt") (collects #"macro-debugger" #"syntax-browser" #"display.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
