("8.15" tarm32nb ("6707303905df8695cfc4a0fb1bdef0d8c882d2dc" . "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"))
