("8.17" tarm64le ("3dedb5425e2016f44d41d9e8e11808d858f458fd" . "17fef6d4da23f486116ee4d4e7538319e4d5d0dc") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"typed-racket" #"rep" #"prop-rep.rkt"))
