("5.3.1" ("903c9ff0df3e516ebba2d19215989e22f1d032b3" . "d2fcce305c8b6937a027cd022056b706ee7a842f") (collects #"racket" #"file.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"readline" #"mzrl.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
