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