("7.2" racket ("a719b565a05be7d8c06cbdbfa6464dcfb19d45d0" . "a0e2ddd835a47fe11c0b79af21a612eec64c8155") (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"))
