("5.3" ("21f280a7696fa31c8d4eb4d0cd6300728a5b2d86" . "6b7b11d0dda77a66cb6e282893a86442cfbdb3a1") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
