("5.0.1.5" ("d9bdbcd053c6d694e9c168aa7d356a3738ab36af" . "f80df2d3ac046b22139718245b99f5f698c33a8a") (collects #"racket" #"base.rkt") (collects #"racket" #"serialize.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
