("8.15" tarm32nb ("608b76982f0679540170f6c51c4c7855eb194ba3" . "b1040e3a661623c7714e307b9ebcd9835b25e908") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"gui.rkt") (collects #"redex" #"pict.rkt") (collects #"redex" #"reduction-semantics.rkt"))
