("5.3.1" ("a719b565a05be7d8c06cbdbfa6464dcfb19d45d0" . "8d1bf84e103d3d8e55240cb672ea337cb36a0913") (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"))
