("5.3.1" ("18efeec7873870348eb716aac628215e84442b4c" . "bb29f11c6b0e5bdf1488171376b9fca68a73279e") (collects #"scribble" #"text" #"lang.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"text" #"syntax-utils.rkt") (collects #"scribble" #"html" #"main.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
