("5.3.6" ("775612bcd9b487f1a5f3c1bab0a0c875ae60bca3" . "fca494a71c7c4317577c2e58acd11e13c5b3d14a") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"typed" #"racket.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
