("5.0.1.5" ("f632dff9a3cc9d3a87a3d44aa889f4e508516c9d" . "bc87377e6dc569eaf29123fece0a3fc9c314373b") (collects #"racket" #"base.rkt") (collects #"macro-debugger" #"view" #"view.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
