("5.3.1" ("5c02fc7352890a421b6f6576086c47d97e72512f" . "84fe77708b31b5ede02d2489a9f4ab78bf9eba59") (collects #"xml" #"main.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
