("8.15" tarm64nt ("2622c60c0c88cf7e691613924fc74c2c3d878961" "81e57b5dac119551c6715f1cba58e50ad1ab0217" . "aeabd6535e1c32b0b6c5ea12c64ed8ca33069bb0") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"unit.rkt") (collects #"syntax" #"kerncase.rkt"))
