("8.17" tarm64le ("9273ee57b9131a45220d477c3a22312c78ab44fb" . "c34c46d46ff33a860a090a829d18dc38fbf17560") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt") (collects #"redex" #"scribblings" #"long-tut" #"code" #"tue-mor.rkt"))
