("8.15" ti3nb ("e4c2905d7e56896741776c36dfc51d7ad47af055" . "6ece6532c5a6aeaba33fa9f835aca11e97e05f24") (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"))
