("8.15" tarm32nb ("87590ca160eae0a8c5b578db2a97f417222bf22d" . "d66413a575195f52ad8ddd415ab391fb9bc74a03") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"cross-system.rkt"))
