("8.17" tarm64le ("d00b6aac4232509f263e5f08835e63ac7b9b8ca9" . "8b7f168fd2a828b8645cc9b5b30bce2a2f579950") (collects #"htdp" #"error.rkt") (collects #"lang" #"htdp-langs-save-file-prefix.rkt") (collects #"lang" #"prim.rkt") (collects #"mzlib" #"etc.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"gui.rkt") (collects #"racket" #"runtime-config.rkt"))
