("8.15" tarm64nb ("5cce17d5d19441513891eef812cfb3be3d5b8502" . "43b4d312d3f32234b5614aea86b9b285f9d9fb77") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
