("8.15" tarm32nb ("afab00ba1af7586e978f8233c1550e6064d75f62" . "6c1ba2412961c3cbae0d0143356796d83e49b81b") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt") (collects #"redex" #"scribblings" #"long-tut" #"code" #"common.rkt"))
