("5.3" ("b65e383d9ef03fb182fcc1ac512a8cb8399891c9" . "ba79be40d953e9def3a86a98718a6dd0562fd487") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
