("5.3.1" ("4d8a3f509fb29a954e589c09768de45fb832e899" . "a030997bad9500df7f0bcbab6c283047c018640d") (collects #"racket" #"file.rkt") (collects #"scribble" #"xref.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"base-render.rkt") (collects #"scribble" #"core.rkt") (collects #"racket" #"class.rkt") (collects #"scribble" #"html-render.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
