("8.15" ti3nb ("75f77465d3976c92379b2375f2598f19b2f56c6f" . "82d7527cff1f470f7cd284e6ec6dde7f9c2e94d4") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"generic.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"stream.rkt"))
