("5.3.1" ("79646a78c132a006cbd14739dd6c94c3e178c74b" . "3dddab14bc1d18e8a6b917e0b2978cc7c5ba44b8") (collects #"scheme" #"base.rkt") (collects #"syntax" #"readerr.rkt") (collects #"scheme" #"promise.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
