("5.3.1" ("cfa44982fb95cb612e635a7859c1f78e7de9dfb2" . "05f231efeff850a351d069ad2037f7b39cd6e29a") (collects #"xml" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"text.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
