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