("8.17" tarm64le ("8c6f6acca24aa050e8c9a1f404895e70229b66c3" . "bbf0fde4465a7bfdb370a04523d081d7935e6719") (collects #"htdp" #"world.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
