("8.15" tarm64nt ("85f0f5d82eb47dfe3cc5d0c2acabc4487ce08855" "7e41f39c7ca571f1932ef53fd848697cdf8eba8a" . "7177678af92994a39e81548277c73fe15d315c65") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"for.rkt") (collects #"racket" #"runtime-config.rkt"))
