("5.3.1" ("03c2cbe327b1cda421a38de57b006229a64d412d" . "939ae28dc8f79328af33d7c1640f96ee06d1bce0") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
