("8.15" tarm32nb ("9e5f571a9538e6ca227c853913dfb0a394f928d6" . "3c5fa129c04eef7d41a99349aca0516c165df8fc") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"5.rkt") (collects #"srfi" #"provider.rkt"))
