("8.15" tarm64nt ("968de32eefda121ae94bdfe7d727f74ac084f961" "3e18e5ae2deb6d5e45aa357be63cb5724ec818b2" . "80df6c8f9ba83e97daaf44acd767251661278c49") (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"))
