("7.2" racket ("775b1f66cbcdbe366b55dbeae00e3d3e942b97a1" . "f67dcb51ff1142a7f328b65a4afc29812b9da54a") (collects #"file" #"gunzip.rkt") (collects #"file" #"private" #"check-path.rkt") (collects #"net" #"base64.rkt") (collects #"net" #"head.rkt") (collects #"net" #"http-client.rkt") (collects #"net" #"url-connect.rkt") (collects #"net" #"url.rkt") (collects #"openssl" #"sha1.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"cmdline.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"format.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt") (collects #"racket" #"tcp.rkt"))
