("5.3.1" ("3b8515e5522307df779d5e4cd9a0e07ff157fb6c" . "acb79c975184ab1c83af4ec8cdccb85d952c8040") (collects #"scheme" #"file.rkt") (collects #"file" #"gzip.rkt") (collects #"scheme" #"base.rkt") (collects #"net" #"base64.rkt") (collects #"scheme" #"system.rkt") (collects #"scheme" #"port.rkt") (collects #"setup" #"getinfo.rkt"))
