("5.3.1" ("b63eb42bccebe21c2eb0f22ef5221e19d0fb6f53" . "fa9b40597b76438da895e66a888af9db283adfed") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scriblib" #"private" #"counter.rkt") (collects #"racket" #"promise.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
