("8.15" tarm32nb ("bb0fbb659aa18428c0cf732dcc51bcbad9411eb7" . "98dcefe952408bd0646cb8d91a3a80cb929ecc73") (collects #"ffi" #"examples" #"c-printf.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
