("5.3.1" ("01db3163c0d197b81414ce139baa0fcbf6b60fbe" . "401f349f85752d9b3eb3a8662b02b3afd09d559b") (collects #"scribble" #"base.rkt") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
