("7.3" racket ("79c9808cc89ac5e2d960c2f045c8f99f9e8dc9f7" . "a62001edcc9bd1ccfcbebf8569cf04d3b31788eb") (collects #"racket" #"private" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"readerr.rkt"))
