("5.0.1.5" ("633e64e572db238a345fd31607cbecc849e49b4e" . "829b7293c514ffdf442baf4eef2613d79673aaac") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"promise.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
