("8.15" tarm32nb ("90bf743ea4286bb58e76032d2d78b045c7e4b36f" . "e2fb62210ce7cf1ab1468ef4140078fafbc705f5") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"syntax" #"module-reader.rkt") (collects #"typed-racket" #"typed-reader.rkt"))
