("5.3.1" ("56a885352f0bfab5d69e418978a02a41985b12a0" . "2050ca528d4ddbb7adf1a1e381fb9e10bfa9b7cd") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"block.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
