("6.5" ("a9b3d8ae2d90d46eff328edaa51fe22d35982339" . "b1c74e0757e08e62e7aa391be42c97072fb56908") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"example.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
