("5.0.1.5" ("ab37aa89c6c8851f4ccf6034a31dce91601bc4f8" . "63e26ff3a61b680b93da63c43385653b3ae44c06") (collects #"typed" #"racket.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed-scheme" #"scribblings" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
