("5.3.1" ("7dae2877f78104ebfd93bb20c3ffd3ffc4e7d56d" . "1ddd23ced9e6c19aa2fc25e9bd75b523abaa0618") (collects #"racket" #"base.rkt") (collects #"xml" #"private" #"xexpr-core.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
