("5.0.1.5" ("947849f363b6b449d79056b4738c5ad0cad7fc73" . "b8a1f911315d4967b5e27397f7b28063569afa5e") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"main" #"private" #"utils.rkt") (collects #"scribblings" #"main" #"private" #"make-search.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
