("5.3.1" ("a0fa89f7fdce23fc0e7cb01366c68c20784b48f3" . "1bbb6ad6a7f406cee6132f3246eddf896630aa0d") (collects #"scribble" #"html" #"xml.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"text.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
