("8.15" tarm64nb ("8be5fb6dc97f5804a51d76d00b74b0cbd5a0636c" . "bfdeab0c5233797f2f5c783e60a28b9328713dc2") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"intdef-util.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt"))
