("8.15" tarm32nb ("2e80560593b06c6a1a0e27cf3ef69376540b537c" . "9c54ef1ab549bec27c0f526866fa1c2d73692d63") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"xml" #"xml.rkt"))
