("5.3.1" ("0dc6875f5d7ff805bc5394485e3bbb3f8c488369" . "7e0a7aebe4071b5bd4fa524f8fcc81202da3e24a") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"inside" #"utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
