("8.15" tarm64nb ("43dfd2bdd291d6366e6292875e36e617f4c7bae4" . "d311a82f9a31c0047e250cc39664ba92507b8879") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt"))
