("7.3" racket ("1611a0463fb594a9f6f28e72e8dfe67c49653fce" . "dfce6cb4cc8986c83be36009f6c688912ab7ee6d") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"promise.rkt") (collects #"racket" #"runtime-config.rkt"))
