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