("5.3.1" ("b143c853ba4135085ab7f2e720d668e7272ec993" . "54dce8ead40065018e9f2882ebc3ec06472698c3") (collects #"setup" #"path-relativize.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"setup" #"dirs.rkt") (collects #"mzscheme" #"lang" #"reader.rkt"))
