("8.17" tarm64le ("dda5cd40ec82b63cf4d51ee0876f2ea8733eb6fd" . "2236d2e34eba1f28b8d295ad62881a80ea06f3de") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt") (collects #"redex" #"scribblings" #"long-tut" #"code" #"common.rkt") (collects #"redex" #"scribblings" #"long-tut" #"code" #"tc-common.rkt"))
