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