("8.15" tarm64nb ("12211b8b831c8021bc6dc4d89f0277f96c24dc3e" . "b118dd9315566fa07e6f730bc0d90e51fac21c6c") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"kw.rkt") (collects #"racket" #"runtime-config.rkt"))
