("5.0.1.5" ("f845aca0c144e574657cdf73b1e780728ba92678" . "59041270701536a46291a495cd2927b2ac41b0d8") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"drracket" #"common.rkt") (collects #"scribblings" #"drracket" #"menus.scrbl") (collects #"scribblings" #"drracket" #"prefs.scrbl") (collects #"scribblings" #"drracket" #"keybindings.scrbl") (collects #"scribblings" #"drracket" #"files.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
