("5.3" ("adc76c8104d7411bbc089a4f64ee4b4aaed3819e" . "fbee399a04f9f8fd7336af52964f149b2625e8e9") (collects #"scribble" #"bnf.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
