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