("5.0.1.5" ("e1300bbcf00e84c38409a6fd622fc2d7e676fd45" . "6cb3ba0b6c1fcd873f199bddb588a3c6f4a7cf33") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"manual.rkt") (collects #"unstable" #"scribblings" #"utils.rkt") (collects #"unstable" #"scribblings" #"net" #"url.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
