("7.3" racket ("2980a2a052ac55360bff034ae0e58dd5780440ca" . "c2cf0b9f76f84ec1ecdfc5f99433b63560f24d99") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"small-scheme.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt"))
