("5.3.1" ("8d111a1d8c8b9778c750114aff7a074b84b955ef" . "618f28c58dad2983aafe1e31ec12f57ff729dc8d") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"string.rkt") (collects #"scheme" #"port.rkt") (collects #"scheme" #"list.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"scheme" #"runtime-path.rkt") (collects #"scribble" #"private" #"render-utils.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scribble" #"core.rkt") (collects #"file" #"convertible.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
