("8.15" tarm32nb ("966e5ff18a0d912e4a66ca14f395ae3e6011cc6b" . "b670f0e8857aa9ed0d3ab5488883902fb9f2f060") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"dict.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"private" #"error.rkt") (collects #"redex" #"private" #"generate-term.rkt") (collects #"redex" #"private" #"judgment-form.rkt") (collects #"redex" #"private" #"lang-struct.rkt") (collects #"redex" #"private" #"matcher.rkt") (collects #"redex" #"private" #"reduction-semantics.rkt") (collects #"redex" #"private" #"rg.rkt") (collects #"redex" #"private" #"term.rkt"))
