("8.15" tarm32nb ("bffad1ca7aa90f4e459b463df3f59b75daec2f84" . "870f18a23342a9038edfa33138c88fb6688f9aee") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"67" #"compare.rkt") (collects #"srfi" #"provider.rkt"))
