("8.15" tarm32nb ("0aefc9bd6dcfbd5da9a27823cde600d3a13279ca" . "cdd7539ae04e3095937eaf5aaaa790071e125115") (collects #"db" #"base.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"lazy-require.rkt") (collects #"racket" #"runtime-config.rkt"))
