("8.15" tarm32nb ("9273ee57b9131a45220d477c3a22312c78ab44fb" . "4db1c28b16e82a05a89333a0b0231928202739fb") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt") (collects #"redex" #"scribblings" #"long-tut" #"code" #"tue-mor.rkt"))
