("8.15" tarm32nb ("28754a69fcc6b6408b2fd5c312159862dc764fe6" . "ae179e6d8fa4b738d6a638a612b08ff5c04f6d24") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"74.rkt") (collects #"srfi" #"provider.rkt"))
