("8.15" tarm64nb ("20a38fe38f2fcdb774c244cc86d551831b4d2d44" . "49925c9183f1d56e48311cfc655f0dee0defebd9") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
