("5.3.1" ("7e63dc778404a8ad7be132049ed3cb0b2eae867f" . "bc22ed63229859de82af82e03c412a77883574bb") (collects #"racket" #"contract.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"xml" #"private" #"structures.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
