("8.15" tarm64nt ("e42f252b54dbdad82d9f71d4fedb2727f8c78d0a" "d143b9d147ee8db2f9c82183e6c1066d579c839b" . "38f7f14073b4dd8c529cc8ce55dd1d7c4aad999d") (collects #"file" #"gzip.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
