("8.17" tarm64le ("59f321cae62b1c9f3b204a9bc5d1445dcc1829ec" . "38af4a1146c8efa1efd3dbe4636879b68c701739") (collects #"htdp" #"error.rkt") (collects #"lang" #"prim.rkt") (collects #"mzlib" #"list.rkt") (collects #"scheme" #"main.rkt") (collects #"scheme" #"runtime-config.rkt"))
