("5.3" ("a719b565a05be7d8c06cbdbfa6464dcfb19d45d0" . "98edf4234ec9caebaa760b862b0dd6fe6e894cb4") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"help.rkt") (collects #"scribble" #"core.rkt") (collects #"net" #"url.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
