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