("8.15" tarm64nb ("08c1f3747f3c893ebeb256e3afd3f57506fc8ef2" . "1fde1673d8e52f8c70176ae06f4c8880f1c18cd8") (collects #"racket" #"private" #"gen-temp.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
