("8.15" tarm32nb ("ab5a5f9832c3dea1d5c4adaebb37901e904e409f" . "e8555df67af69e456c9495a1b68c92e494647acf") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"strip-context.rkt"))
