("5.3.1" ("7f8464a968dade82ff7353f31210d34d93ce5998" . "549bdf615d08231693894a2c916790817012f752") (collects #"scribble" #"base.rkt") (collects #"racket" #"contract" #"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"))
