("8.15" tarm32nb ("d0891acabb3692d6934144ee273be7426654369e" . "c21ce5ea7641d075c6483ce6fa8fa2bcd2e7a70a") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt"))
