("8.15" tarm64nb ("c11cdafdf0c7cbbb14292df28d7bc00edcdfb067" . "feb3d2478c2d103c4c761f27e3e9cd91e5b67a50") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
