("5.3.1" ("3ccd0009da504a634dc9a0076707b7ff129377f1" . "1506a66f7afb93b52248314a1d95ea5156cbf057") (collects #"mzlib" #"unit.rkt") (collects #"scheme" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
