("5.3" ("5c61d8ef33ee888968459ddcb8c3b94b4a96572e" . "37485f41b783d00e771ebfa362c487b5f2da515b") (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"))
