("5.0.1.5" ("9a28db01393b1f22606f6c507134439a1e64b134" . "3bb465ece1bbb2b22a8565329da6d35afd0d3b2c") (collects #"racket" #"base.rkt") (collects #"config" #"config.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
