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