("5.3.1" ("6824223808079f54515e355f0f92d93c1e06320f" . "620c50c48156736a1c8e5d04c0a4c10a0026bdd3") (collects #"scheme" #"base.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scribble" #"private" #"on-demand.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
