("8.17" tarm64nt ("e42f252b54dbdad82d9f71d4fedb2727f8c78d0a" "8409fa24367ca5cda361a5103d902fef9532d19c" . "9eddef4f34744327b28647e6524689bc3b4a1bc2") (collects #"file" #"gzip.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
