("8.15" tarm64nb ("4e3271f6dfa2f80cc2174a1de626a3578e7c6c37" . "9eae809ea39b6287755c3a6519de2e32e8239e12") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"case.rkt") (collects #"racket" #"runtime-config.rkt"))
