("5.3.1" ("ed91b5ba8121fe4c3e586fdec1e7236b2d60e75d" . "4aef5c2d91ffe96c33375e14d0eecd3bd6717e7f") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
