("8.15" tarm32nb ("ae205d6f9c8e6724c9f96c5d6d5d0a22681d35a0" . "7fa5350a18f09919b40e0b2da269585fcbf57ba6") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"srfi" #"57.rkt") (collects #"srfi" #"provider.rkt"))
