("7.3" racket ("5080683c31e4145e5473ab813f5701f946c41c71" . "db576341490b0e87d8356b87bde6c199647c86f5") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"private" #"dirs.rkt"))
