("5.3.1" ("ec9c243997537075d84a0c4c3a605951ae768313" . "5028e29ef8141851fb0407a5a085c7d5ebb4d316") (collects #"syntax" #"name.rkt") (collects #"mzlib" #"private" #"unitidmap.rkt") (collects #"syntax" #"context.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"racket" #"base.rkt") (collects #"mzscheme" #"main.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"syntax.rkt") (collects #"syntax" #"stx.rkt"))
