("8.15" tarm32nb ("d286b1e9398f8649992125a5b653cb05b4a66725" . "f55efdce14ab7ea663194edbd04d96a18b80838f") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"%3a8.rkt") (collects #"srfi" #"provider.rkt"))
