("7.3" racket ("824fda819e9c1eab621564b476b67e87d0f72578" . "6570df9837cf17c31cd945d7afdfd7d18255907f") (collects #"racket" #"base.rkt") (collects #"racket" #"promise.rkt") (collects #"racket" #"runtime-config.rkt"))
