("8.17" tarm64nt ("b420659463229826b371f4b48328b9edabd3bb95" "8c7d4d9a46c0302095ebf13a3a00fee9777808d4" . "ece34e7a05315703e43791cdf6df542d5af7d4a2") (collects #"racket" #"private" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"readerr.rkt"))
