("5.3.1" ("99ad58278e7449f73ab345fc330379f305dd9f25" . "15c6f2f43c9304eea105158c389c18c45a21d107") (collects #"compatibility" #"scribblings" #"package.scrbl") (collects #"scribble" #"base.rkt") (collects #"scribble" #"doclang.rkt") (collects #"compatibility" #"scribblings" #"mlists.scrbl") (collects #"compatibility" #"scribblings" #"defmacro.scrbl") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
