("5.3" ("b36863e7c021241f3107c28437f4673ef87894f3" . "fb01a3389e59d1873eda1dc5d2cc1ffe6d35be04") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"racket" #"set.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
