("5.3.1" ("be26e0a790dd37383ebf938ffeabe5af8586923b" . "7783d013e7b076d0185197eb40a1e29881da763d") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"trace.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
