("5.3" ("95f7395a691e40a926fe0184df3a7b6574c7037f" . "69bd29bba185cc5ab8917e1aa3d6da3a4a9ad194") (collects #"racket" #"contract.rkt") (collects #"scribble" #"eval.rkt") (collects #"framework" #"framework.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"gui.rkt") (collects #"scribblings" #"guide" #"contracts-utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
