("6.12" ("79ca5ced64081e82c20a43cf9b11c3cf4d801a71" . "f48a5cb6e18652d26b2c8483030d481b81baa039") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"example.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt"))
