("8.15" ti3nb ("5d96eac4c4fce0d792cc5847f215735fff373cb4" . "00d40019716cba9529df49e90a5d44fdf22d3e71") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"private" #"unix-rand.rkt") (collects #"racket" #"private" #"windows-rand.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"sequence.rkt") (collects #"racket" #"set.rkt"))
