("5.3.1" ("e143f521b7425d3a2d364a96f2a5629550aa1bb9" . "9a3ddd572d835a55962cd7e790d4c818199783a4") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"bnf.rkt") (collects #"racket" #"fixnum.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
