("5.0.1.5" ("ec92895731660d6a1e1ac46d67e8b15ae3ef26b9" . "695b559cc2130f0a6a0e11c242d5a3f06276faf4") (collects #"scheme" #"base.rkt") (collects #"scheme" #"contract.rkt") (collects #"games" #"show-help.rkt") (collects #"games" #"show-scribbling.rkt") (collects #"scribble" #"doclang.rkt") (collects #"games" #"scribblings" #"common.rkt") (collects #"games" #"scribblings" #"std-games.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
