("8.15" tarm64nt ("43dfd2bdd291d6366e6292875e36e617f4c7bae4" "3e4ce476992758516db240f368ad16398635e6ef" . "9f7a05b068879a09f6e8b336d87bcbbfcc085083") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt"))
