("6.12" ("92570f5b156086b8ae4748676f52476c11b4773e" . "b1f2a30a5ce08d699a805948b17809e23e9a334a") (collects #"racket" #"runtime-config.rkt") (collects #"rnrs" #"lists-6.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket" #"base.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
