("5.3.1" ("cec4ccc4e9d739dec116b8032897ccd1bfe4b9a0" . "d0d4de518f1327e8e260242e8227752f045c72a7") (collects #"xml" #"main.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
