("8.15" tarm64nt ("37761c7d72dd97dc4cee4c083650523ec8f713fe" "95bdc5d40ac868b37bd7bd3c070c8dfce1b070a1" . "20d315e3f89deb474823522da6328d459774c988") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"undefined.rkt") (collects #"syntax" #"kerncase.rkt"))
