("5.3.1" ("4b0eb5bd1d80a23aa78270921a131fee390378ad" . "59c4828d6493c1d3539d705ad2ef96d23d038265") (collects #"racket" #"contract.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"xml" #"private" #"structures.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
