("5.3.1" ("41b2e8c1c90af6ac8289de0df5a77be5d7d80283" . "e0d6d8bd2cf1572e55312938fd07029cb9d3abaf") (collects #"html" #"sgml-reader.rkt") (collects #"xml" #"main.rkt") (collects #"racket" #"contract.rkt") (collects #"html" #"html-spec.rkt") (collects #"racket" #"base.rkt") (collects #"html" #"html-structs.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
