("5.3.1" ("728942afffa264741752078fef9fc41a32ed136f" . "292f32dc2f809404254fe415e5a901f0a12a5fd1") (collects #"scribble" #"search.rkt") (collects #"scribble" #"struct.rkt") (collects #"scheme" #"path.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scribble" #"base-render.rkt") (collects #"scribble" #"html-render.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
