("5.3.1" ("06ce90c9794837fab932caa7825c55acf1d377ad" . "2169afbc5678b1e3e76e41429ed13b9a763900dc") (collects #"racket" #"gui.rkt") (collects #"racket" #"gui" #"dynamic.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"sandbox.rkt") (collects #"racket" #"port.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
