("8.15" ti3nb ("15c36e29103dd37d5a86e82607976f3f7886112f" . "309980e0b15eef4ab23c15ccde74f029e6b7ff2a") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"xml" #"private" #"core.rkt"))
