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