("8.15" tarm32nb ("e42f252b54dbdad82d9f71d4fedb2727f8c78d0a" . "4830dd210b01df685d0cf53af98c0ebf6c90972b") (collects #"file" #"gzip.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
