("5.3" ("903001b3ab543c4eca6645691b06d0ebe8406ec1" . "8bf2c8a1b12596a5e9465fed678803083688f7d5") (collects #"scribblings" #"reference" #"parameters.scrbl") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"thread-cells.scrbl") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
