("5.3.1" ("546898b99be941f4de965d072d3e5fcf9125f4e4" . "8b081b29de8fc44e7383e885a5a1ba7f5f21810e") (collects #"racket" #"bool.rkt") (collects #"file" #"gunzip.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"mzscheme" #"main.rkt") (collects #"net" #"base64.rkt") (collects #"setup" #"getinfo.rkt") (collects #"setup" #"dirs.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
