("8.17" tarm64le ("f852c948108644efedfa797fdeca6015b17267eb" . "443e609adff64db48e7fb8319916482ca6c60f4a") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt"))
