("5.3.1" ("be825a5ab5eeef052617a3a001b5651e7b5196a3" . "623b4262ebf6c50b83175e9f0dc1566d2f53fe3a") (collects #"file" #"gunzip.rkt") (collects #"file" #"gzip.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
