("8.17" tarm64nt ("a0eb60f3cc1c73ffacf2a52fe964dc3b7f9b47ad" "d3da84cc375dfd43bd6e38348c83bf0054b0f2b2" . "a02b647f081bd2979491f42095d87ff8f08a6fb1") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"xml" #"private" #"core.rkt"))
