("8.17" tarm64nt ("2a0a5df8a7f337c2ca32be52cc578f0bd8875b70" "19c69ad2ea21deffdb3cd3a0d63ab9aace363574" . "1bb693133af0c6bcd5ff02426cf072f03bcf2b88") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
