("5.3.1" ("c2fdad9a8938d83b784fdcafa234053c2e808966" . "6fa50eb35585f0c96e23580049e016c16e70d308") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
