("8.15" tarm32nb ("25b00d28140049954b390fadbd6d96f4ababa710" . "3256a5c73cc7fea16005ccab954f285d9201c14f") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"%3a98.rkt") (collects #"srfi" #"provider.rkt"))
