("5.3.1" ("a84cc9b847599df363cd25773bf263018d939fb7" . "ad3402f9e73ea042dd8dfaa5529515ed2ec0b192") (collects #"dynext" #"file.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"dynext" #"link.rkt") (collects #"dynext" #"compile.rkt"))
