("5.3.1" ("1fae3f49d9ec8a58b240d5fbdb6ce3ef940c0695" . "de2a263e66c4984b3a4fe0197dfc611009008597") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"flonum.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
