("5.3" ("0bd8d21a5c728dad4887ad5d844a84b4bef2716b" . "cb9c9300afeaecf18ea6ceed46b260ccae75ec85") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
