("8.17" tarm64nt ("8be5fb6dc97f5804a51d76d00b74b0cbd5a0636c" "778f18a71672c26def70f210e0f8ebf8de7a8072" . "5746aaf89afbc6ff71e955cf19015b186c178924") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"intdef-util.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt"))
