("5.3.1" ("d6a18676e20a06985e2161335e5476f543ade620" . "f0abb34b7645251c1ca38cde13ea270ad5feba4d") (collects #"racket" #"contract.rkt") (collects #"racket" #"base.rkt") (collects #"xml" #"private" #"core.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
