("5.3.1" ("ab8c9524f2de2c3cd3411814d8b618cdd4fbd256" . "230e8b6aff66d95291048b408e0ad6280b3009f0") (collects #"scribble" #"latex-render.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"private" #"run-pdflatex.rkt") (collects #"scribble" #"private" #"indirect-renderer.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
