("8.15" tarm32nb ("b80186ed6e34811495743ff16f9bd4fb44b7c4cb" . "ee3466c376ff70ecb69332e6bb01d65513cf15f7") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"dirs.rkt"))
