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