("8.15" ti3nb ("968de32eefda121ae94bdfe7d727f74ac084f961" . "706da30ea55ab21f00e29cbd91481e68ce2ad438") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt"))
