("8.15" ti3nb ("e462dcccfed24879bb3a266152283fe1265dcc54" . "1de14fd76d07809b236f2238d80aa2173cc5dd62") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"dirs.rkt") (collects #"setup" #"main-collects.rkt"))
