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