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