("8.15" ti3nb ("f13978fcfc22f699b2382a6485354a6d4771f87f" . "4b1a097980b43d8fc8a2ef4e355deb5b334cc2e4") (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"))
