("8.17" tarm64nt ("80cee5f08e1f03a060dd7a2f23fe847ad80b8dcb" "bd7e21df53984a231a2868177200e2e2690aff6e" . "73e0bd0e8447f6f1bb9d56faa6b83925d3385074") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"modcode-noctc.rkt"))
