("8.15" tarm64nb ("968de32eefda121ae94bdfe7d727f74ac084f961" . "593680da986b47e7bf5d5155b011816bed1cf520") (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"))
