("5.3.1" ("49d561386a8712aa07f104a2a6ec5480da4996b2" . "e6f80aa9376fb69876820cc2a9d184565da89e04") (collects #"syntax" #"modcollapse.rkt") (collects #"syntax" #"modresolve.rkt") (collects #"syntax" #"modread.rkt") (collects #"syntax" #"modcode.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
