("8.15" tarm32nb ("947bc989697efd4a9fca5e7d6cbf123a546523e2" . "ddf4c3e4960e40464af286014e1a33130d19e9cd") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racklog" #"racklog.rkt"))
