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