("8.15" ti3nb ("adf1cf37ec4e88626184784e9757449a5f8bb2a3" . "2dd3c345459344bd0f0e6325ccd13972791d9532") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"dirs.rkt"))
