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