("5.0.1.5" ("d7a84e17d0f7ed77e3b60b4a8595ae2a2b69ccd1" . "01d98ad72814900e47ca376977420589a904f81e") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"raco" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
