("8.17" tarm64le ("adbaa8e66ea82884a7ffc3f811f6e6e869100242" . "4f31adba90d8a1f5f14e4676775d866b2dfa7d6c") (collects #"htdp" #"master.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
