("5.3.1" ("5c61d8ef33ee888968459ddcb8c3b94b4a96572e" . "55cc4f574910dad34f5b4c50d3f015de2544287a") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scriblib" #"footnote.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
