("8.15" tarm32nb ("97d94bedbc36e4aa26f6a86edd0fcd56e0e01194" . "f8faaa9a153143b6b46adc6eab246b2f0da9b929") (collects #"pkg" #"name.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"matching-platform.rkt"))
