("5.3" ("b22d739bfffc0007e905b81cf56f3c1772bdc344" . "d01dbd4c271b5d5d86de8a508f48573825fa73c5") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"gui" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
