("5.3.1" ("5c4b6d4825593b16719c3e3ef73b74c2f251d61d" . "97c3d3c57bcc2566bb9a7cb44d3a323ce36e51c6") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scriblib" #"private" #"counter.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
