("5.3.1" ("f07242594aa0985afafaec601895e7e8d1efa767" . "1333938a2e175dc4f0a877697bb97f7901d88ac2") (collects #"racket" #"private" #"small-scheme.rkt") (collects #"racket" #"private" #"stx.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt") (collects #"racket" #"private" #"stxcase.rkt") (collects #"racket" #"private" #"define.rkt"))
