("8.15" tarm32nb ("e13d82e8477f5257592ba0dba78beea8a2e33af7" . "fbd8677a3b2ee52ca84e70c341249b51685ed1b2") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"web-server" #"lang" #"abort-resume.rkt") (collects #"web-server" #"lang" #"util.rkt"))
