("5.3.1" ("708943966eeeb6b9986ef16ebe592797946a8d2a" . "2ee82a0d45b8033c83298c8be82172d3f695e8a7") (collects #"mzlib" #"file.rkt") (collects #"mzlib" #"etc.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzlib" #"zip.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"tar.rkt") (collects #"mzlib" #"process.rkt"))
