("8.15" tarm32nb ("c44a3478340127290261202d7685673a4b34fabc" . "d03ebe079d012b0b73cbc38541faf83ff22c495e") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
