("8.15" tarm32nb ("e4c2905d7e56896741776c36dfc51d7ad47af055" . "e1ec515823e3e0d7b6a24e70fefc555557cc2cd5") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt") (collects #"setup" #"getinfo.rkt"))
