("5.3.1" ("e0b8a2630d2850e64eb2ea21493292f048fbe37c" . "0facdd1f98f9045b1f49d38aff85e3b0260f399e") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"promise.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
