("8.17" tarm64le ("fe4cf2504cceb77dad3d02baca12070816dc54c3" . "5bf3711b1005b5bf6140fb5593a57d7a8443b78b") (collects #"htdp" #"arrow-gui.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
