("6.5" ("1b53de743dfc711d2364ae965ab3ba0f9e4ca936" . "f9be1a1029a353fc0ec6f205df3ab784822e8cfa") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"example.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt"))
