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