("5.3" ("56a885352f0bfab5d69e418978a02a41985b12a0" . "9babae8b31ff78f85fd8ef2869e31cd7a39ef75f") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"block.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
