("8.17" tarm64nt ("2bb3a8811efa15e065e29e447fa3c7b5035e55f3" "c07223b2a16427af98615e029a0dff1e5788055f" . "15db0dce91be9b5333e8fa9983e030e98ce53c95") (collects #"file" #"gunzip.rkt") (collects #"file" #"private" #"check-path.rkt") (collects #"file" #"private" #"strip-prefix.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"date.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt"))
