("5.3.1" ("c907f50d96cc194b73d8010cdd869b5929de8e56" . "fcd8aa18264daf7707e43433877f085e029c0a87") (collects #"scribblings" #"reference" #"unix-paths.scrbl") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"windows-paths.scrbl") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
