("8.15" tarm64nt ("8be5fb6dc97f5804a51d76d00b74b0cbd5a0636c" "e694ebcd01d0ba61847191a28067a863e20bbab1" . "4836cce9c6f954c6015aac209ebc6346af1c9f7a") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"intdef-util.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt"))
