("8.15" tarm32nb ("4489ef546093a29640ed2608cb6a600a5ab40a47" . "881da633b34b08c466c03f86034806c645e5bada") (collects #"racket" #"base.rkt") (collects #"racket" #"bool.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"benchmark" #"models" #"delim-cont" #"delim-cont.rkt") (collects #"redex" #"private" #"generate-term.rkt") (collects #"redex" #"reduction-semantics.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
