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