("8.15" tarm64nt ("12211b8b831c8021bc6dc4d89f0277f96c24dc3e" "703c08c3daa31c4787eac7e65d3b48727b88f02e" . "75be589dfeac6ea82c467b1a94d5a6ffddb6723c") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"kw.rkt") (collects #"racket" #"runtime-config.rkt"))
