("7.3" racket ("5a858d7bccbdea5d00fecb35dc95295f5ba504fe" . "6285ae32eaa1b85d581ae048f029c72364ff4186") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
