("8.17" ta6le ("80ca561eaa33201e9fd678b5c958e653fc423222" . "6aa899647bd9e82a9f20626408e7ff6c52233fec") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"html" #"xml.rkt") (collects #"scribble" #"text.rkt"))
