("8.15" tarm32nb ("88aabbd73ded9305fef79b01ac6f922faeca9813" . "0a79e6a1c133e9d15ae8233ed6a61f5fbee59824") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"racket-machine" #"grammar.rkt") (collects #"redex" #"reduction-semantics.rkt"))
