("5.3.1" ("a23ce8b9759d893adb48c4cee2b4d37a30a7f077" . "a1f42141a18b577bea9c438e865dcf0deab45da9") (collects #"scribble" #"html" #"xml.rkt") (collects #"scribble" #"html" #"html.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"html" #"resource.rkt") (collects #"scribble" #"text.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
