("5.3.1" ("adc76c8104d7411bbc089a4f64ee4b4aaed3819e" . "430c858564ef6e74872b738c37e0400af6926eb1") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
