("5.0.1.5" ("220fb261142b2ed50eb45a78eee10254e28fe97a" . "8f46d0bc79fa1a05a2142d2a6dd1658fab9cb353") (collects #"racket" #"main.rkt") (collects #"file" #"md5.rkt") (collects #"racket" #"lang" #"reader.rkt"))
