("5.3.1" ("54fb0be55d89e44695e5d36164521bea8c82fe64" . "bf8433cbacd90016d579f85e2c15e50dbd57975b") (collects #"racket" #"private" #"small-scheme.rkt") (collects #"racket" #"private" #"stx.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt") (collects #"racket" #"private" #"define.rkt"))
