("7.3" racket ("8afe733260bd27e3a677557b0757320ff2400026" . "e140fdd098c6a36e954e299b4531f6c827951dd9") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"sc.rkt") (collects #"racket" #"private" #"stxcase.rkt"))
