("8.15" tarm32nb ("a25d640c92c614b0d3ecb9e47cb1d5c8c9641c19" . "6c5aca68867b222ce2229f906b0114b90f483c02") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"delim-cont" #"grammar.rkt") (collects #"redex" #"examples" #"delim-cont" #"meta.rkt") (collects #"redex" #"examples" #"delim-cont" #"reduce.rkt") (collects #"redex" #"main.rkt"))
