("7.9" racket ("ebc8894944c3f2b213e24bb40bb2bc8098dc041d" "7e03be8189e08d78071eab6398e9e54ea047d91b" . "bdc9673b8fb86e6676a63fb0324066c14866610b") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"promise.rkt") (collects #"racket" #"runtime-config.rkt"))
