("5.0.1.5" ("d87abd0913d0498a50e1d8bea83a2c067e9ed483" . "c49d68b44887e26aebcdfc5ea7f79fc5559c9210") (collects #"scribble" #"manual-struct.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
