("8.17" tarm64le ("b78d1199954935b40666b5e6874410f8d9aeeb92" . "04a0d9e6ceebbac3ecf3585e1af0942ed3a47a87") (collects #"htdp" #"gui.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
