("5.3.1" ("76b3cad33a728beef19fa522e5ea66c270d25f75" . "47ec74f2aaf17859241c28da2e99148f0337a208") (collects #"racket" #"base.rkt") (collects #"racket" #"promise.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
