("8.15" ti3nb ("cd291936521fb19137a5e191ecb5ea98c0587b77" . "9eb1406de953fd5595bf13083f2594cc1e1bcdfd") (collects #"pkg" #"private" #"print.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"getinfo.rkt"))
