("8.17" tarm64le ("dd484ec62647d2da295819b13166564902b9572b" . "b56e47c1fdf70506cc6f42c786e63055cc92ee4f") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"racket-machine" #"randomized-tests.rkt") (collects #"redex" #"reduction-semantics.rkt"))
