("8.15" ti3nb ("c8bb90994b180a0a49e33e08ff48dbd483dd88b3" . "0f373d8b7938fb5642142ad1a6aff4aa174e17ea") (collects #"launcher" #"launcher.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
