("5.0.1.5" ("824fda819e9c1eab621564b476b67e87d0f72578" . "a2a71ee244e3a95109d9c20a66b63b90c26dc17b") (collects #"racket" #"base.rkt") (collects #"racket" #"promise.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
