("5.3" ("d1ae50c135c9eb7b88bf084006d8e527ac59a605" . "6a634a869ca712c5d0b68c36c613ce405034c4ce") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribblings" #"guide" #"compile.scrbl") (collects #"xrepl" #"doc-utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
