("8.15" tarm32nb ("5aefb780a07551d4b934237c38d5aa2356f57d31" . "576f1d335c8e8326fc2120aed1c465a507a9ff3c") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"syntax" #"module-reader.rkt"))
