("8.15" tarm32nb ("9dbe792708371cc10d66eb5e7de31bfe259aaf99" . "f0f9e5a592f11598d9dc95290e493bf20dff180d") (collects #"racket" #"private" #"cond.rkt") (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"))
