("6.4" ("1b53de743dfc711d2364ae965ab3ba0f9e4ca936" . "758b4d6366fa159d074075eee454a9579093e1a8") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"example.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt"))
