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