("7.3" racket ("513da7fb2e683d13689d6eba4315006491f79559" . "f52a984ee51422beb02fac75432d039d93ed7347") (collects #"pkg" #"name.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"matching-platform.rkt"))
